 It has to be a case. That's a case. Let's back up. That's a case. They didn't file it to a lawyer. They just filed it to the insurance company. See, they paid on it, so that's a case. It wasn't a lawsuit. They tendered a claim to the insurance company. It was uncontested. They paid on it. That's a case. They paid the limit of the policy. Oh, so no case was filed, but they settled it.