Stellingbewysinstrument Coq oorweeg dit om sy naam te verander. Rede: Vir Anglophones klink die woorde "coq" en "cock" (slang vir die manlike geslagsorgaan) soortgelyk, en sommige vroulike gebruikers het dubbelsinnige grappies teëgekom wanneer hulle die naam in gesproke taal gebruik. Die naam van die Coq-taal kom van die naam van een van die ontwikkelaars, Thierry Coquand. Die ooreenkoms van die klank van Coq en Cock (Engelse haan) is reeds in die projek gespeel: die taal wat gebruik word om die strukture te beskryf, word Gallina (Latynse hoender) genoem.
Bron: opennet.ru