fixed an error in the test axioms