Dump SUPPORTING-AXIOMS (and its associated utility EXISTS-PATH).