changes to code, adding to axioms