 Should they find reserves, money reserves? He didn't say we're going to use it to pay down the debt. He said we're going to use it on infrastructure. I mean, there were other spending programs that he talked about. Here's the reality, Letty. It's not just one party doing all the spending. Do you know that both parties have just been massive spenders over decades? So the biggest spending president in the history of the United States now is President Biden. Do you know who the biggest spending president was before him?