Թեորեմն ապացուցող գործիք Coq-ը դիտարկում է իր անունը փոխելու հնարավորությունը։ Պատճառը. Անգլոֆոնների համար «coq» և «cock» (արական սեռական օրգանի ժարգոն) բառերը նման են հնչում, և որոշ կին օգտատերեր բախվել են երկակի կատակների, երբ անվանում են բանավոր լեզվով: Coq լեզվի հենց անվանումն առաջացել է մշակողներից մեկի՝ Թիերի Կոկանդի անունից։ Նախագծում արդեն հնչել է Coq-ի և Cock-ի (անգլերեն աքաղաղ) ձայնի նմանությունը. կառուցվածքները նկարագրելու համար օգտագործվող լեզուն կոչվում է Gallina (լատիներեն հավ):
Source: opennet.ru