Added support for quantifiers.