 What we find through Frege’s rejection and Hilbert’s defense of that technique is a clarification of the assumptions that are essential for its success. As we have seen, the crucial feature of proof that must be assumed, in order for a Hilbert-style reinterpretation to demonstrate an unprovability result, is that provability is insensitive to the contents of those terms that Hilbert takes to be reinterpretable—in this case, the geometric terms. The alternative view of consistency and independence, on which entailment and provability are sensitive to the contents of geometric terms, is one with respect to which Hilbert-style reinterpretations cannot demonstrate consistency and independence so understood. As outlined above, the reading of Frege on which he holds such a view of consistency and independence provides a rationale for his objections to Hilbert, and an alternative account of what is at stake in claims of geometric consistency and independence. 