Dump axiom stuff.