How Much Coq1