added predicate for the list