Rather strange that they take the trouble to estimate what the equivalent of all this oil and gas would be in terms of coal, but don’t actually count coal itself. I guess there is a certain tendency if you live in a country where coal mining has been on the decline for decades to assume that the same is true in the rest of the world.