Updated predicates code & docs.