7.2.51 Order1 principle (no distribution)

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