Preconditions, postconditions and the order of operations need not be the same.

• 前提条件、后置条件和操作的顺序则不必相同。