 We wouldn't be having this conversation. The size and scope of government would be smaller because they wouldn't have drawn from that pot of money and grown government. And the problem is that it's nearly impossible to get back to that. We talked about it yesterday. It's $800 million that they're taking out of the PFD. That's a hole that...