User blog comment:Vel!/Second-order arithmetic/@comment-4224897-20150912234541/@comment-2033667-20150913012536

Fixed. Thanks.