 We look at the revenue, exclude out severance tax, and if the state's revenue grew faster than the rate of inflation, then the taxpayers would get another reduction. And so we had a calculation. That's how that's happened. We believe it's going to be four, but it could be three.