Hmmm. By comparison The total 2025 US income-tax revenue was ~ $5.3T.