<Dd> PAIR: = λx. λy. λf. f x y </Dd> <Dd> FIRST: = λp. p TRUE </Dd> <Dd> SECOND: = λp. p FALSE </Dd> <Dd> NIL: = λx. TRUE </Dd>

Gamma and lambda are based on the logic of