Added axiom third excluded