 From this perspective, the Aristotelian quantifier ‘Some’ is a default-style quantifier that validates removing restrictions. If some brown dog is a clever mutt, it follows that some dog is a clever mutt, and hence that some dog is a mutt. By contrast, ‘No’ is an inverted-style quantifier that validates adding restrictions. If no dog is a mutt, it follows that no dog is a clever mutt, and hence that no brown dog is a clever mutt. The corresponding principle, dictum de nullo, encodes this pattern: whatever is true of no P is not true of any P; so if the property of being a mutt belongs to no dog, it belongs to no poodle. (And as Aristotle noted, instances of ‘No S is P’ can be analyzed as the propositional negations of corresponding instances of ‘Some S isn’t P’.)