1 variant for "Coq Forte"