Pretty sure they're all separately incorporated, so it wouldn't affect them directly. It will affect retires who moved out of Detroit into these cities and now rely on Detroit pensions.