What qualification is relevant when inferring a particular from a universal negative?

Contraposition: Classical Rules, Validity and the Later Convention

• Existence of subject instances
• Deletion of all quantifiers
• Everything being an animal
• The judgment becoming affirmative