7.2.53 Order2 principle (no distribution)

This principle is like the Order2 principle (Order2), except that it does not apply non-deterministic distribution.