Strictly speaking, it is incorrect to say: We understand the proposition p when we know that ‘“p” is true’ ≡ p; for this would naturally always be the case if accidentally the propositions to right & left of the symbol “ ≡ ” were both true or both false. We require not only an equivalence, but a formal equivalence, which is bound up with the introduction of the form of p.