AXIOM T
Axiom Two