It included a trigger which basically says that once the fiscal year is over, 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.