Axiom cleanup.