fill in predicates