 So he's assuming he'll be able to get out of paying the tax on the 580. So I do the math and I say, look, it's $33,350. This leaves you $546,000 minus whatever federal tax you have to pay to get it out. And I don't know.