minor work on predicate naming and documentation