Added axiom to the definition diagram.