quantifier finished