User blog comment:PsiCubed2/Question: General breakdown of levels up to Second Order Arithmetic/@comment-29065906-20180209175341

I didn't notice it, but welcome back!