Oh, and we didn't pay them off via some national insurance program? I'm surprised and somewhat impressed. I'd expect those parties to have required the government to pay out.