Added quantifiers.