Unfortunately, we don't have a bankruptcy process. Suppose the state actually just gets to the point where it cannot meet all of its promises that it's made. We might need a way to figure out, O.K., well, who's not going to get what they were promised? This is what we had to do for the city of Detroit.