A universal affirmative proposition, such as, 'Every man is mortal' and a universal negative proposition having the same subject and predicate, such as, 'No man is mortal,' are called "contrary". A universal affirmative proposition ("Every man is mortal") and the non-universal denial of that proposition in a way ("Some men are not mortal") are called "contradictories". Of contradictories, one must be true, the other false. Contraries cannot both be true, although they can both be false, and hence their contradictories are both true. For example, both 'Every man is honest' and 'No man is honest' are false. But their contradictories, 'Some men are not honest' and 'Some men are honest,' are both true.