To my knowledge, the United States has never captured any Iranian with arms. There were 136 foreign detainees, the last we knew. There are 24,000 Iraqi ones. And the 136 contain no Iranians at all. 45% of them, earlier in the summer, were Saudis. I think that proportion has changed, but it’s such a small number. But, in any case, there is no proof of any actual Iranian military activity inside Iraq whatsoever.