 Did they not make their money? But the put option just mysteriously disappeared from the ledger as if they had never placed the put option. So I suppose with certain players it's, okay, go ahead and place your put option and take your chances. Oh, but if it turns out to be a disaster, that's okay. We'll just back you back out of it like you were never there. Now this may take...