Genuine question - where does it say he's shutting down the IRS? I just read this as he's creating the ERS but isn't touching the IRS.