If two statements are contraries if and only if they cannot both be true, but can both be false, then some corresponding A and E categorical statements are not contraries, even on the presupposition that something exists which satisfies the subject term. For some such statements are necessarily true and thus cannot be false. There is a similar problem with subcontraries.