 Thue function a from A+1 to A may be decomposed into  a map   i : A → A  together with an element b ∈ a.   And to say that the diagram above commutes is the same thing as saying that   h(0) =  b, and for all n ∈ N,  h(s(n)) =  a(h(n)). 