quantifier passes