work on quantifiers