HUH ?
a. PBGC doesn't cover 100% of a defaulted pension liability.
b. how many govt. pension plans have gone bust in your lifetime ?
In 2004, voters in the city of Houston passed a proposition allowing the city to reneg on benefits already accrued. That would be illegal in private industry.