1 variant for "Coq LC"