We describe the traditional presentation of the syllogisms, and introduce Aristotle's existential assumption, on the basis of which he derives nine more syllogisms. These are not sound in our sense — but every counterexample to one of these must include an empty predicate.