coq illico