  But these conceptualizations of LNC and LEM must be generalized, since the principle that it is impossible for a to be F and not to be F will not apply to statements of arbitrary complexity. We can translate the Aristotelian language, with some loss of faithfulness, into the standard modern propositional versions in (4) and (5)  respectively, ignoring the understood modal and temporal modifications: