Better definientia hunting.
Correctness coherence conditions.
Number of argument types, not number of fields (which can be smaller).
Now we have to generalize.
This is an axiom.
Whitespace.
Projectivity and involutiveness.
Sort the constants.
Factor out an XPath expression.
Arguments, not fields.
Definitions for modes.
Deal with PrivFunc elements.
Requirement 34.
Better hunting for definitional theorems.