 Oh, wow. One presumes, but I don't know this because it was confidential, their own title insurance company should cover it. Oh, yeah. Okay, yeah, because somebody has to cover it. That's what title insurance should cover. That's what it's for, and that's what, in this case, it did cover. Interesting. So, you know, all of it was obviously an unfortunate set of circumstances, and the lesson in it is...