G9U7:Quantifiers