% % Dec 13, 2035 % Douglas Miles
The following predicates are exported, but not or incorrectly documented.