We do love the mining industry. While people want to buy our coal, we will always supply them our coal. But let's not forget that the mining industry isn't just coal. The mining industry is critical minerals, gold and so many other things as well. People think the mining industry is only coal. I come from a coal background. As I said, I love coal and, while people want to buy our coal, we will always supply our coal to whoever wants to buy it.