module Axiom::Algebra