User blog comment:GamesFan2000/Extreme Condensed Multi-Chaining Function (ECMCF)/@comment-33713741-20181209024522/@comment-35470197-20181209031513

The definition of a→^bc is written right after n→^nn. Substitute n.