User blog comment:Edwin Shade/LOOC Challenge II (A continuation of Nayuta Ito's Post)/@comment-1605058-20171001170422

Your definition of \(\eta_0\) actually defines \(\zeta_1\).