 So the Islamic Republic reminds me right now of Russia in the 1990s trying to use its arms industry to generate revenue. So whether they're getting paid for it directly or not from the Russians, that's an open question because there has been reporting about weapons the Russians have given them, intelligence the Russians have given them, deepening economic and political and even nuclear cooperation, as well as gold and cash the Russians have given them. But they could be giving them something else as well that hasn't been reported yet and that we don't know.