added quantifiers