capitalize Coq