35.4.2 Negating a Universal Statement
Core idea"Not everyone does" means "someone doesn't": ∀ becomes ∃, and the conclusion turns negative.
Module goal. Master the negation of statements, especially the pattern for statements with one quantifier, laying the foundation for rigorous reasoning ahead.