 The no tip tax. He didn't mention that. He's very serious about that one, though. I've spoken with him about it. He's very serious. I know. Me too. That policy is going to be in there. And the other thing that you could do, by the way, if you're thinking about it as a comprehensive policy, do you remember like the 85,000 IRS agents? Yes. They were mostly going after people with tips. Yeah.