KERRY: " The truth is and President Trump — well, he probably doesn’t know this, his own defense intelligence agency in 2017 testified to the congress that very, very little money actually went to the IRGC at all. Most of the money went to the economy of Iran, which is precisely what I said and what we all said. So, the IRGC has never had a problem getting money, Margaret. But the fact is Donald Trump keeps saying they got $150 billion. A lie. He keeps saying all the money went to pay for it. It did not. His own defense intelligence agency says most of the money went to the economy of the country. We have to stop dealing with questions on Donald Trump’s lies and start dealing with the reality of what is going on. The fact is that a vast proportion of that money went to the economy of Iran and they are always going to be funding the IRGC. No question about that. The IRGC budget has not gone up markedly as a result of what happened with the agreement."