You’re correct that the insurance policies cover operational risk (again, akin to FDIC) but not default risk.