 And how was it settled? In other words, what insurance policies, I would really like to know, because I'm sure you're asked this as you lecture, what are the pockets of insurance that protected people as a result of this risk? So I can't get too specific on that, but basically everybody involved in this had levels of insurance and it came together with a pool of money to make the real owner whole.