The IRS employees tax manual has instructions for collecting taxes after a nuclear war