User blog comment:Vel!/Second-order arithmetic/@comment-25601061-20150922232849/@comment-25601061-20150926002351

Oh.