 should get the best deal or whether Wall Street should get the best deal. But very few people were really looking out for the average citizens of Detroit who weren't city employees or weren't bondholders and were just waiting for the city of Detroit to get better. And the bankruptcy came along and actually did accomplish that. It managed to reduce the city's debt so significantly that they were able to begin reinvesting in city services. And we've seen now a decade later that there's been a lot of improvement because of that.