predicates and consumer examples