Generating predicates.