Is that reliable? The IRGC basically runs the economy and takes a significant cut. The IGRC is also separate from the military. The nuclear program, quite obviously for military use, may also not be included. What about support for proxy groups? Hezbollah alone gets support above $1B per year.