When nil-adjoining operation is applied to η, the variable z is replaced with the identity function λx.x.
after applying λs.s(λx.x) to the semantic representation s i−1 , the semantic transition function t i is applied.