Add ! when printing persistent axioms.