~ Document the Predicates section.