It is certainly interesting that s[s[k[s]][s[k]]] reduces [a][b][c] to c[a[b][c]], and also very striking that s[s[k[s]][s[k]]] manages to annihilate itself in the process, but how was s[s[k[s]][s[k]]] arrived at in the first place? It it unique?