What To Avoid When Taking Coq10