 huge boom that's been going on for a while. And so yes, the U.S. is the largest oil and gas producer and exporter. We don't necessarily see the president touting this, but it's true. And this points to the broader problem of climate change, which is in no way is it something that can be solved by one country, even if that country is the world's largest economy.