I can only hope they end up with "hors coq".