added bound quantifier shorthand