third axiom