McKinsey's Valuation: Value of after-tax unfunded retirement obligations

I am working through McKinsey’s Valuation Book - In the chapter on Enterprise DCF Valuations, they subtract the non-equity components from the Enterprise Value to get the Equity Value. One of the things they subtract is the “Value of after-tax unfunded retirement obligations”. In a later chapter they have reorganized the Balance Sheet & Income Statement to get all the other subtractions in this page, but I am not able to reconcile the 5,042 value for unfunded retirement obligations with any other retirement calculations they have done in the book. Anyone who is reading this book figure out how they arrive at the 5,042 figure?