Added quantifiers (again)