document the use of predicates by name