fixing up axioms setters