35.3.2 The Existential Quantifier
Core idea"You can find at least one": some x meets the condition, written with ∃ for an existential statement.
Module goal. Tell apart "everyone does" from "at least one does," and bring in the two quantifiers and their symbolic forms.