Changes

thus completing the abstraction of <math>y.\!</math>

thus completing the abstraction of <math>y.\!</math>

Next, work on <math>\operatorname{K}(((z\operatorname{S})\operatorname{K})\operatorname{S})</math> to extract <math>z,\!</math> starting from the center <math>(z\operatorname{S})\operatorname{K}</math> of the labyrinth and working outward:

Next, work on K(((zS)K)S) to extract z, starting from

the center (zS)K of the labyrinth and working outward:

  (zS)K = (zS)(z(KK))

 

          = z(S((KK)S))

(z\operatorname{S})\operatorname{K}

& = &

(z\operatorname{S})(z(\operatorname{K}\operatorname{K}))

& = &

z(\operatorname{S}((\operatorname{K}\operatorname{K})\operatorname{S}))

For the sake of brevity in the rest of this development,

For the sake of brevity in the rest of this development,

rename the operator on the right so that (S((KK)S)) = F.

rename the operator on the right so that (S((KK)S)) = F.