7.2.54 Order2 principle (no distribution)

This principle adds non-deterministic distribution to the Order2Constraints principle (Order2Constraints). The two principles together are equivalent to the Order2 principle (Order2).