 It is important for Linnebo that sufficiency be asymmetric. He wouldn’t accept mutual sufficiency, i.e., principles of the form \(Rab \Leftrightarrow f(a) \! =\! f(b)\), since these would imply that both sides are equivalent as a matter of meaning. Instead, the point is that the seemingly unproblematic claim \(Rab\) renders the claim \(f(a) \! =\! f(b)\) unproblematic, and this is best expressed by sufficiency statements of the form \(Rab \Rightarrow f(a) \! =\! f(b)\), on which the left side grounds the right side. So Linnebo’s notion of reconceptualization is not the Fregean notion of recarving of content.