i don't know if it has been mentioned before, but the US took in 1.7 trillion in income tax last year. did all of that essentially just get rounded up to 2 trill and get released?