Bakkot comments on Logical Pinpointing

[Bakkot]

I think it’s worth mentioning explicitly that the second-order axiom introduced is induction.