 An anti-realist concerned to demonstrate the analyticity of the basic laws of arithmetic would inquire whether one can eschew strictly classical passages of inference when deriving the Peano postulates. For, if those postulates are analytically true, then the anti-realist would expect to attain them by means of rules justifiable by appeal only to the constructive contents involved (see Rumfitt 1999). And indeed the anti-realist can. She can avoid recourse to the full power of Hume’s Principle. The innocuous ingredients of the conceptual content of Hume’s Principle, insofar as finite numbers are concerned, will find expression in the inferential rules that the anti-realist lays down for zero, #, and successor. Heyting arithmetic, after all, has exactly the same axioms as Peano arithmetic, and is the logical closure of those axioms under intuitionistic, rather than classical, logic. The two systems PA and HA differ only in respect of the logic used for closure. It would be rather odd if the intuitionist were debarred from being a logicist in the sense at issue here. 