+support for quantifiers