changed the control axioms