added quantifier