And the guy who ran down all of the numbers about how many people work at the White House and how that staff compares to the staffs of, say, President Trump and Barack Obama, and Joe Biden has larded up the White House staff gigantically, and it's costing all of us a lot of money.