 coal. Worldwide, coal demand continues to increase. It's not decreasing. Only, listen to this, America's share in the coal industry, America's piece of the coal pie is smaller. We were once the world's largest producer of coal, but we are now fourth, well behind China. Well, Carl, it's bad for your lungs. It's good. It's dirty for the environment. Oh, no, we're just buying it from other countries. That's all we're doing differently.