 decreasing its gas consumption. It's been simply buying more and more liquefied natural gas from the U.S., from U.S. gas companies. So what we see is just simply a redirection of trade. The U.S. is sending its gas to Europe, which is more expensive, and Russia is sending its cheaper gas and oil to China and India at a discount. So you're absolutely right that this is the main goal. It's to try to suffocate Russia economically, which has not worked.