 The demonstration proceeds by providing a careful analysis of the notion of “multiple of” in terms of addition, giving us in place of (i) a more-complex (i′) which is then proven from (ii) and  (iii).[10]  Similarly, a significant part of Frege’s logicist project consists of the careful analysis of such arithmetical notions as zero and successor, analysis which brings out previously-unnoticed complexity, and facilitates the proof of arithmetical truths. (For a discussion of the logicist project, see entries on  Frege  and  logicism and neologicism.)  