Exercise 2: A single quantifier