[SamReidHughes]

This has been discussed on HN before. I thought their pensions were not being overfunded, just funded to the degree a private company ought to. How much are they being overfunded by?