Axiom Lattice