Norway is not a member of the EU, but it's replaced Russia as the EU's biggest supplier of gas. It occupies this really interesting position, I think, in some of these debates. The absolute priority is just trying to substitute for Russian gas in any way we can. And Norway is a huge part of this, right?