Exercise 3: Two quantifiers (a relation)