changed the order axioms
updated the exapmles