Axiom:Norm Axioms