capital C Coq.  A specific Coq, not just any old coq.