Another logical opposition implied by this, though not mentioned explicitly by Aristotle, is 'alternation' ("alternatio"), consisting of 'subalternation' and 'superalternation'. Alternation is a relation between a particular statement and a universal statement of the same quality such that the particular is implied by the other. The particular is the subaltern of the universal, which is the particular's superaltern. For example, if 'every man is white' is true, its contrary 'no man is white' is false. Therefore, the contradictory 'some man is white' is true. Similarly the universal 'no man is white' implies the particular 'not every man is white'.