  For Aristotle, LNC is understood primarily not as the principle that no proposition can be true simultaneously with its negation, but as a prima facie rejection of the possibility that any predicate F could both hold and not hold of a given subject (at the same time, and in the same respect). A full rendering of the version of LNC appearing at Metaphysics 1006b33–34—“It is not possible to truly say at the same time of a thing that it is a man and that it is not a man”—would require a representation involving operators for modality and truth and allowing quantification over  times.[5]  In the same way, LEM is not actually the principle that every statement is either true or has a true negation, but the law that for any predicate F and any entity x, x either is F or isn't F. 