9.4.2 公式对齐