User blog comment:King2218/FGH Things/@comment-10429372-20140304165143/@comment-10429372-20140305163417

Yes, Deedlit11 is right. For some reason I thought that Φ(Φ(...,0),0) with ω2 nests is Φ(2,0,0), but it is Φ(1,0,1). Since I based my whole analysis on that, my whole analysis is wrong.