re
Chapter 7 Quantifiers