588-2008-04-08 Quantifiers