coq got taken the piss out of there