is Coq injured?