Default is not paying interest on our debt.
“Debt service” includes interest on the debt, and scheduled redemptions, no?