defining Predicate