During Wednesday's budget presentation, Gov. Gretchen Whitmer trumpeted that her administration will have paid off $21 billion in public employees and school employee retirement debt by the end of Fiscal Year 2025, according to Department of Technology, Management and Budget numbers.