Fixed pending axioms issue