simplified quantifier lookupt