Thunderf00t, is that you?
BTW you can tell I'm not Thunderf00t because he says that "the taxpayer" paid $3 billion. I would never use "taxpayer funding" language, I would only ever call it public money (because Treasury creates money when it spends).
The most succinct way that I have found to express the relationship between taxation and spending is that spending at the federal level is constrained by aggregate spending this year, not tax receipts last year.
the government can also destroy money about as easily as it creates it, too. it isn't a politically (and usually economically) desirable thing to do. when it's done, it's usually via replacing the whole currency wholesale (e.g. brazilian real).
or you know, don't print trillions to bail out failed banks.
Although I like when thunderfoot compare the archives of what musk said with what actually happened