Isn’t their debt rating basically junk bind status? If so, they won’t be included in any pension funds