They have billions, and per the 8-k they have capital. Receivership has been off the table for long time.