ALL quantifier implementation