Alat za dokazivanje teorema Coq razmatra promjenu imena. Razlog: Anglofonima riječi "coq" i "cock" (sleng za muški spolni organ) zvuče slično, a neke su se korisnice susrele s dvosmislenim šalama pri korištenju imena u govornom jeziku. Sam naziv jezika Coq dolazi od imena jednog od programera, Thierryja Coquanda. Sličnost zvuka Coq i Cock (engleski pijetao) već je prikazana u projektu: jezik koji se koristi za opisivanje struktura zove se Gallina (latinski kokoš).
Izvor: opennet.ru