When you look at the government, when the government collects a buck, it's not free. They have to spend resources, the IRS, audits, all this sort of crap, to collect the dollar. I'm not assuming any Laffer curve effect here at all. There are just transactions costs of collecting that money.