 Another consequence of successful logicist reduction of a given branch of mathematics is that mathematical certainty (within that branch) is of a piece with certainty about logical truth. The same holds for necessity; and for the a priori character of the knowledge concerned. 