Teorem sübut edən alət Coq adını dəyişdirməyi düşünür. Səbəb: Anglofonlar üçün "coq" və "cock" (kişi cinsi orqanı üçün jarqon) sözləri oxşar səslənir və bəzi qadın istifadəçilər bu addan danışıq dilində istifadə edərkən ikitərəfli zarafatlarla qarşılaşırlar. Coq dilinin özü tərtibatçılardan biri Thierry Coquandın adından gəlir. Coq və Cock (İngilis xoruzu) səsinin oxşarlığı artıq layihədə səsləndirilib: strukturları təsvir etmək üçün istifadə olunan dil Gallina (Latın toyuq) adlanır.
Mənbə: opennet.ru