 who for different reasons basically put this plan on hold. And this is no small amount of money. It'd be almost half a trillion dollars that would be canceled. And that word canceled is interesting, Dan. I mean, we know it's really not necessarily the most accurate way to talk about this because that cost is really just transferred on to taxpayers as a whole. That money doesn't just disappear. Somebody has to either not receive that payment or make that payment and it is canceled.