It’s a commerce department sanction not a treasury department sanction (which would be far more serious).