 Those prices have moderated, come back to where they were. So that's about almost $600 million of reduction in revenues. But that's the nature of a severance tax. It just fluctuates up and down and up and down. And so good fiscal stewards just have to budget for that and understand that it's going to be related more to the price. So that's the big part.