 He undertakes to justify these in An. Pr. I.2. From a modern standpoint, the third is sometimes regarded with suspicion. Using it we can get Some monsters are chimeras from the apparently true All chimeras are monsters; but the former is often construed as implying in turn There is something which is a monster and a chimera, and thus that there are monsters and there are chimeras. In fact, this simply points up something about Aristotle’s system: Aristotle in effect supposes that all terms in syllogisms are non-empty. (For further discussion of this point, see the entry on the  square of opposition).