The FDIC is operates under Receivership rules, not those of a bankruptcy. Exactly, so why would 75/25 (being a bankruptcy rule according to POR/DS) apply for FDIC as receiver again?