Axiom clean-up.