Done classical_axioms.