Giles comments on Logical Pinpointing

[Giles]

Just to be clear, I assume we’re talking about the second order Peano axioms here?