| Symbol | Bird | Combinator |
|---|---|---|
| S | Starling | S |
| B | Bluebird | S(KS)K |
| E | Eagle | B(BBB) |
| T | Tanimbar | T |
| J | Jay | B(BC)(W(BC(B(BBB)))) |
\[T (J S B E) \xrightarrow{\beta} T (S B (S E B))\] \[\xrightarrow{\alpha} (\lambda x. 1) (S B (S E B))\] \[\xrightarrow{T} 1\]
| Symbol | Bird | Combinator |
|---|---|---|
| S | Starling | S |
| B | Bluebird | S(KS)K |
| E | Eagle | B(BBB) |
| T | Tanimbar | T |
| J | Jay | B(BC)(W(BC(B(BBB)))) |