 On the other hand—as revealed in Frege’s painstaking deductive work—HP suffices for a logicist derivation of the Dedekind-Peano postulates for the arithmetic of natural numbers. This is what accounts for the vaunted status of HP in certain subsequent neo-logicist accounts (see  §2).  