Axiom ({{{1}}}):

{{{2}}}