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

correction: chained arrow notation is f_w^2