Maria Cantwell actually said...

I couldn't agree with you more.

Thirty million hardly seems like a lot of money if we are the third-largest economy in the world.

Has decreased, yes. Thank you.

So that sounds to me like maybe a little more than doubling of the budget over 4 years. Is that a yes or a no?