I don't know if it matters. They might take a few documents and of the potential public disclosure domain or something. But I don't know why they're doing that exactly, the special master. One day after Russia cut off all the oil pipeline stuff,. Was it oil? No, natural gas pipeline stuff. To Europe, they signed a giant deal with China's biggest petro company. So Russia's going all in on China. Do you think that's bad for the United States? That Russia and China are doing war games together? And now they're tying their economic futures together. Is this good or bad for Russia? The reason that we're decoupling from China is the