Well if they used coq, maybe it would not have happened!