That is right. The others are already protected.
Since you referred to the auto workers, I just want to say that with the last loan provided by the government, $250 million was set aside by the company to bail out the pension fund. That money has now been paid back to the government. That shows that there has in the past been indirect government assistance to deal with specific situations.