 No supplementation by intuition or sensory experience will be needed in the derivations of these postulates. The trains of reasoning involved will depend only on our grasp of logical validities, supplemented by appropriate definitions. Purported result (for the HP-er): because HP is analytic, logicism is vindicated; and the mathematical knowledge derived in this way is revealed to be analytic, not synthetic. 