Implemented all predicates.