Right, but a lot of that would be metallurgical coal, which is not impacted—steel-making coal that the government has not yet decided to phase out.
I'm looking for the delineation between thermal coal and metallurgical coal. I think that is an important distinction here. They're very different and used for very different things. One's used for electricity generation, which is being phased out, while the other is used for steel-making, which is only going to increase.
Thermal coal, specifically, is what I'm hoping we might have information for.