The IRS Is Officially Closed?