Break up Axioms.v