AXIOM 1
Axiom 10s
Axiom 1m