allowing names for predicates