Thanks, all good answers. So the 24B-27B held assets will generate beneficial interest for the last 10 years, right? At perhaps 3% per year (after sharing with investors)? Do the 1B + 484M belong to WMI? So (25B * 0.03) * 10 + 1.484 = 8.984B. Plus sale of remnant of 25B = 2B. Plus 5B from 40B retained assets by FDIC = 15.984B returned money.