OK, as long as we get to delete the IRS, Department of Education, EPA, etc. while we’re at it.
A whole bunch of alphabet agencies need to go. Yes.