removed unused quantifier argument