You must of course verify, for every expression involving partial functions, that the arguments satisfy the corresponding preconditions.

• 当然对含有部份函数的每个表示式，您必须核实参数是否满足对应的前置条件。