Part II, Chapter 17: Of the Conversion of Propositions, and first, of the Nature of Affirmation
Axiom. 4
The extension of the attribute is restricted by that of the subject, so that it denotes no more than that part of its extension which agrees with its subject: as, when we say that men are animals, the word animal signifies no longer all animals, but simply those animals which are men.