The 2023 fiscal year deficit of $1.7 trillion was actually approximately $2 trillion when excluding the student loan debt cancellation program that was booked in the budget but later cancelled by court decision and unbooked.