 So just a quick search. I was doing the other number by memory. It appears that you're right, but just short of 12% of our electric supply comes from nuclear power plants. That sounds correct. By the way, that's within half of what we have for coal because we're down now below 23% for coal. Correct. Correct. And they're trying to shut down all of the coal plants.