 (The analogue for ‘P’ is already provable in M, since P is reflexive and antisymmetric.) This goes far beyond the intuition that lies behind the basic Supplementation principle (P.4). Does it go too far?