Sort:  

The 750T unfunded liabilities seems a reasonable guesstimate, but how do we come up with this number?