axiom/src/algebra
