I'd say this is spot on, but the question is that of whether paying off the vast majority of the debt is even possible. In the USA especially, I've long since concluded it simply cannot happen.

Look at how much bickering the Republicans and Democrats have over even relatively minor issues. $10^9 is one 15-thousandth of the national debt and there's fights about such amounts.