Correct. All that stuff — at least what is not smuggled out — is doomed.

And then just wait till they get their hands on the French and UK nukes.