Coal is effectively the dirtiest fossil fuel. It admits significantly more carbon dioxide than natural gas does in electricity production. In the short term, it means more coal is going to be burnt. Emissions from the pari sector are probably going to go up this year as a result. But it doesn't change the overall narrative, which is a general shift away from coal. We've had a load of retirements over recent years,. and in the long run, natural gas is what a lot of producers are switching to.