add new predicates.