2 variants for "Coq"