U strumentu di prova di u teorema Coq pensa à cambià u so nome. Ragione: À l'anglofoni, e parolle "coq" è "cock" (slang per l'urganu sessuale maschile) sonu simili, è certi utilizatori femine anu scontru scherzi di doppia intesa quandu anu utilizatu u nome in lingua parlata. U nomu stessu di a lingua Coq vene da u nome di unu di i sviluppatori, Thierry Coquand. A similitudine di u sonu di Coq è Cock (gallu inglese) hè digià statu ghjucatu in u prugettu: a lingua utilizata per discrive e strutture hè chjamata Gallina (pollu latinu).
Source: opennet.ru