 Neither of these interpretive options is entirely unproblematic. An important difficulty with the first is its attribution to Frege of a severe degree of confusion about the force of Hilbert’s re-interpretations, which is arguably in some tension with the fact that, generally speaking, Frege’s account of Hilbert’s methodological procedure in FG is considerably clearer than is Hilbert’s own. A further source of difficulty is that the understanding of independence attributed on this account to Frege is in tension with the understanding of logical entailment that figures centrally in his logicist work, an understanding on which the contents of mathematical terms can be crucial to questions of logical entailment. The second interpretation, though more charitable to Frege, arguably suffers from the lack of explicit mention by Frege of the relevance of conceptual analysis to questions of consistency and independence. 