User blog comment:SuperSpruce/T array function stuck at Gamma 0/@comment-35470197-20190614223407/@comment-36984051-20190616015804

P(Chinese characters)bot, everything you did in your computation was correct, but you forgot to apply the tailing rule to your final expression. Also the parentheses can be taken out, as they are just a thing to differentiate between parts of the array.

T3[0{([0{([0{([0{0,0}2]),0}2]),0}2]),0}2] =

= T3[0{[0{[0{[0{0,0}2],0}2],0}2],0}2]

= T3[0{[0{[0{[0{0}2]}2]}2]}2]

= T3[0{[0{[0{[0,2]}2]}2]}2]. Which is Γ0 in the FGH, not Γ1.