ok for predicates