lambda x.x KSK

My first name can be pronounced as "K S K".

The combinator X = λx.x K S K *1 is universal in the sense that all combinators can be constructed by X.

• S = X(XX)
• K = (XX)X
• I = X(XX)(XXX)(XXXX)

Actually, I is defined as X(XX)(XXX)z where z can be any term.