 Because the idea is that they thought that there's all this fraud from people who are tip workers. So I think President Trump's plan is going to be to get those 85,000 IRS agents a new job somewhere. Or not at all. And not tax tips. So it's really going to be a huge relief. I think he should use it in the next debate. I mean, it's really powerful. We scratched out the number. Like, I haven't done an official score of it yet, but it's only about $4 billion a year.