 So they decide to get rid of the guy, and they pay him a bunch of money, of taxpayer money. Sure. If I said to one of my employees, you're fired, get out of here by the end of the day, please have your desk cleared out by Friday, that's one thing. If I say, I would love for you to find a new opportunity, and here is $25,000. Which is what they paid him.