Using quantifiers correctly