 This principle may seem to say basically the same thing as No Interpenetration but to say it more simply—using the primitive predicate ‘P’ instead of the defined predicate ‘O’. Why then focus on No Interpenetration instead of (1)?