User blog comment:Mh314159/new YIP notation/@comment-37246647-20190712002237

Typo: f_1(1) should become f_0^f_1(0)(f_1(0)), not f_0^f_1(0)(1)