fixed scoping in quantifier