 The main difference is this: the neo-Fregean no longer accepts Frege’s definition of numbers as classes of equinumerous classes. Instead, the numbers are vouchsafed as sui generis, courtesy of newly chosen abstraction principles. The Wrightian neo-logicist (henceforth: the HP-er) opts for HP; the constructive logicist opts, much more modestly, for rules permitting the introduction of zero and of successors. Apart from this key difference, however, the neo-Fregeans hew in other places quite closely to Frege’s overall deductive strategy when deriving the Dedekind-Peano postulates. 