formatting axioms