Yes. I know this is generally just a performative action. The stock in the US was bought from Russia months ago probably. Nevertheless, still fine with this.