Only if the absolutized XML doesn't yet exist.
Dumper.
Comment out the debug callback.  Seems to crash...
Do it.
Option for minimizing only requirements.
Canceled theorems and reductions.
Not sure what requirement 29 is yet, but it does occasionally show up as needed.
Kludge for asymmetry of set membership.
Typo.