If the receivership is for bankruptcy assets and wmi safe harbor assets aren’t part of bankruptcy/receivership, why do we have to wait for receivership to close?