Added type Predicate