 So, of course, banning coal exports to Israel is not necessarily saying we're going to nationalize the coal companies, which, of course, would probably be a little too severe for the moment for Gustavo Petro's government and where it finds itself. But it is a very strong signal that.