The budget is balanced and specifically commits $3 billion per year in debt paydown.
Our debt paydown in absolute terms has resulted in an ongoing annual saving of $3 billion on debt-service costs.