Do you know how much coal China burns? In 2013, we already were burning 3.6 billion tons. And do you know how much coal the rest of the world burns? We burn more than the rest of the world combined.