 You go to the right side of the aisle. They're going to tax you more. They're going to tax different ways. They're going to find different ways. But they want to spend it. But how do you pay it off? Should there be a debt service type of an additional tax to pay this thing down? Or do you look at the Treasury Department that says we're going to dilute the dollar, issue more dollars, and pay it down and cancel the debt?