 A contradiction (antiphasis) is a pair of propositions one of which asserts what the other denies. A major goal of On Interpretation is to discuss the thesis that, of every such contradiction, one member must be true and the other false. In the course of his discussion, Aristotle allows for some exceptions. One case is what he calls indefinite propositions such as “A man is walking”: nothing prevents both this proposition and “A man is not walking” being simultaneously true. This exception can be explained on relatively simple grounds.