 Most certainly they're going to need it because, again, they're not buying. They're not supposed to buy it from Russia. But no, we're going to stop selling it. And this is what they call the U.S. Department of Energy. Why they call it the U.S. Department of Energy? They should call it the U.S. Department of trying to stop energy.