  Ackrill’s translation contains something a bit unexpected: Aristotle’s articulation of the O form is not the familiar ‘Some S is not P’ or one of its variants; it is rather ‘Not every S is P’. With this wording, Aristotle’s doctrine automatically escapes the modern criticism. (This holds for his views throughout De  Interpretatione.[5])  For assume again that ‘S’ is an empty term, and suppose that this makes the I form ‘Some S is P’ false. Its contradictory, the E form: ‘No S is P’, is thus true, and this entails the O form in Aristotle’s formulation: ‘Not every S is P’, which must therefore be true. When the O form was worded ‘Some S is not P’ this bothered us, but with it worded ‘Not every S is P’ it seems plainly right. Recall that we are granting that ‘Every S is P’ has existential import, and so if ‘S’ is empty the A form must be false. But then ‘Not every S is P’ should be true, as Aristotle’s square requires.