7.2.50 Order1 principle (no distribution)

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