Setningarsönnunartæki Coq íhugar að breyta nafni sínu. Ástæða: Fyrir englófóna hljóma orðin „coq“ og „cock“ (slangur fyrir karlkyns kynlíffæri) svipað og sumir kvenkyns notendur hafa rekist á tvíkynhneigða brandara þegar þeir nota nafnið í töluðu máli. Sjálft nafnið á Coq tungumálinu kemur frá nafni eins af þróunaraðilum, Thierry Coquand. Líkindi hljóðsins Coq og Cock (enskur hani) hafa þegar komið fram í verkefninu: tungumálið sem notað er til að lýsa mannvirkjunum heitir Gallina (latneskt kjúklingur).
Heimild: opennet.ru