so there is money for further down the waterfall past WMI and or WMB bonds as the FDIC has more than enough money through all types of means to pay of WMB debt? and then has "these other assets worth maybe up to 20B or so?