Yes...that was the $4B deposit, WMI's share of the Tax Returns plus other WMI owned assets that were sold. It all totaled $7B-$8B and was paid to WMI'S CREDITORS, the last of which was just distributed to Class 18. There's little to nothing left, even though some claim to know otherwise.