sets and predicates 166095