Tell apart "everyone does" from "at least one does," and bring in the two quantifiers and their symbolic forms.