added predicates