[bsaul]

Not sure if you know but the name comes from https://fr.m.wikipedia.org/wiki/Thierry_Coquand

Coq being the first three letters of his name, and also the french name for rooster, the french national emblem.

So yeah, he probably didn't care at all what those letters meant in various languages ( and probably even found the reaction of english natives amusing).