7. Why is Axiom 5