I can't tell you how much already would have gone. It's committed to a multi-year contract, such that you could effectively option these credits as required over the coming years.
On the current gap right now between the mandated sales level by the federal government and the current sales level, we're at 7.7%. We have to get to 60% sales by 2030. There is no way to close that gap without significant credit purchases, and while it's an option, companies will have to go down that road.