Axiom 3.3