How Much Coq