add four predicates