 One issue that is not satisfactorily disposed of, is this: in what sense can Wright’s neo-Fregean logicist claim to be furnishing an epistemic foundation for, let us say, first-order Peano arithmetic, if their axiomatic principle HP, along with the second-order logic employed (=FA), puts the supposed ‘foundation’ much higher in the hierarchy of consistency-strengths than the weaker theory being ‘founded’? (This is to raise once again the worry expressed by Boolos (1997:  248–9).)[41] 