User blog comment:Vel!/Second-order arithmetic/@comment-24509095-20150913004057

I've never heard of EFA and PRA before so that's pretty cool

(and I still have yet to understand that subsystems of SOA book :P)