quantifier implement