bounded quantifier