Implemented predicates.