Solving axioms2 correctly