 If a proposition is either general or expresses necessity, PEM is not false, but is not applied. Hence, focusing on individual and non-modal propositions, Lane draws our attention to a special nature of a predicate in L-propositions. Lane calls the kind of the property which results in L-propositions a “boundary-property”. Here is Peirce’s own example of a boundary-property: