. . .  and to pay for
it with $5 trillion of
new national debt.