Alat bukti teorema Coq nimbang ngganti jenenge. Alesan: Kanggo Anglophones, tembung "coq" lan "jago" (slang kanggo organ seksual lanang) muni padha, lan sawetara kedhaftar wadon wis nemokke guyonan pindho-entendre nalika nggunakake jeneng ing basa lisan. Jeneng banget basa Coq asale saka jeneng salah sawijining pangembang, Thierry Coquand. Persamaan swara Coq lan Cock (jago Inggris) wis dimainake ing proyek kasebut: basa sing digunakake kanggo nggambarake struktur kasebut diarani Gallina (pitik Latin).
Source: opennet.ru