- Added parts are displayed like this.
- Deleted parts are displayed
~~like this~~.

My first name can be pronounced as {{e('quot')}}''K S K''{{e('quot')}}.

The combinator ''X = ''{{e(lambda)}}''x.x K S K'' {{fn('As usual, you must recognize it as {{e(lambda)}}x. ( ( ( x K ) S ) K ).')}}

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.

The combinator ''X = ''{{e(lambda)}}''x.x K S K'' {{fn('As usual, you must recognize it as {{e(lambda)}}x. ( ( ( x K ) S ) K ).')}}

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.