corrections in path and control axioms, added new order axiom