axioms of trading