 Why did Frege think that Basic Law V is analytic and that the material equivalence of concepts \(F\) and \(G\) is analytically equivalent to an identity that implies the existence of extensions? To hold that Basic Law V is analytic, it seems that one must hold that the right-side condition implies the corresponding left-side condition as a matter of  meaning.[16]  This view, however, can be questioned. Suppose the right hand condition implies the left-side condition as a matter of meaning. That is, suppose that (R) implies (L) as a matter of meaning: