It was the way they stated it that is troubling. Of course they spoke within the confines of the LT and related bk which was their purview, but their statements made it sound broad based, and that was wrong of them.
WMB = $307B; from FDIC and WMI valuations. Liquidated by FDIC. $299B for "WMB and its assets" after $7.9B paid back to WMI from the $3.9B Turn-over Event and the $4b Exchange Event.
WMI claimed BK assets; $33B - $8B = ~$25B. Liquidated by WMI as 363 Sale in BK.
$375 - $307 - $33B - $8B = $27B minimum.
The last unevaluated assets are WMIIC and the non-debtor Subs of Citation and H. S. Home Loan.