16.4 异常公式的显式表示