Axiom of symmetry