 So far, the export controls have not been very successful. Having said that, an important area where, to an extent, the export controls have been able to impose additional costs on Russia is that, indeed, those components that Russia is important are more expensive. And we are citing some of the Russian military producers who are complaining about how they're supposed to be selling weapons to the Kremlin at the fixed price, but their purchasing components are consistently rising prices.