Implemented predicates.

Done.