 First, Lane makes a distinction between the principle of excluded middle (PEM, henceforth) being false with regard to a proposition and PEM not being applied to a proposition. If PEM is true or false, it means the principle is applied to it. And, Lane claims that PEM is applied to only non-general and non-modal propositions, citing the following passages from Peirce: