Ordered Pair Example

• Goal:

 (FIRST (PAIR x y)) => x

 (SECOND (PAIR x y)) => y

• Solution:

 PAIR : xy.b.(b x y)

 FIRST: p.(p TRUE)

 SECOND: p.(p FALSE)