Tutorial 17: The semantics of quantifiers