[dogma1138]

$72 billion is more than the GDP of some EU member countries.

[CaptainJustin]

If the government received [1] $3.422 trillion in revenue last year, this could increase it at most by 2%.

I'm not convinced they could achieve much with 2% more.

[1] https://www.thebalance.com/u-s-federal-budget-breakdown-3305...