stable version, axioms still not working