 For reservations about this claimed result, however, see Boolos (1997). The main objection with which the HP-er needs to contend is that Hume’s Principle is neither a logical nor an analytic truth. It cannot be logical, so the objection would go, because it has such a huge ledger of ontological commitments: for every concept, its alleged number. And it cannot be analytic, because the two sides of the biconditional have different ontological commitments: the right-hand side has no commitments to numbers, while the left-hand side is brimming with such commitments. In order to defend against these objections, the HP-er needs to do two things. First—as any logicist needs to do—he needs to challenge the dogma that no logical principle can carry any ontological commitments. Secondly, he needs to provide an account of analyticity according to which a biconditional can be analytic even when the explicit ontological commitments of each side of the biconditional differ. (These commitments are to be judged by considering each side as a sentence in the restricted language whose vocabulary is just sufficient to allow the sentence in question to be formed.) 