almost done with axiom code