Module axiom
voile_util
Defines the Axiom type and some functions on it.
Axiom
Postulated value (or temporarily irreducible expressions), aka axioms.