User blog comment:B1mb0w/Rule 2B/@comment-5529393-20160207015116/@comment-10262436-20160213015849

Agreed. I will correct the blogs. The form phi(1,phi(2,0)+1) seemed wrong to me, but I understand it now. Thanks for explanations.