7.2.56 Order principle (no distribution)

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