Trading axioms