This is the reverse course of evaluation imprecisely.

• 表达式的合成，是表达式求值的逆过程。