 The idea that Frege takes logical entailment to be sensitive to conceptual analysis in the way just suggested is taken, on this account, to be evident in the strategy Frege employs in his life-long attempt to demonstrate his logicist thesis, the thesis that the truths of arithmetic are provable from pure logic. In the course of that project, Frege regularly provides demonstrations that a given thought τ follows logically from a set T of thoughts, in a way that involves two steps. First, Frege subjects τ and/or the members of T to conceptual analysis, bringing out previously-unrecognized conceptual complexity in those thoughts. Secondly, he proves the thus-analyzed version of τ from the thus-analyzed members of T. For example, Frege takes himself to demonstrate that the thought expressed by