Correct me if I’m wrong, but … isn’t the gov guaranteeing the new loan, not the old loan?

So, the gov/taxpayers aren’t eating the principal reduction, just defaults on the new principal amount.