Idea: What we really need are three expressions
PAIR FIRST SECOND
such that
(FIRST (PAIR x y)) => x
(SECOND (PAIR x y)) => y
for all x and y
We already saw that TRUE and FALSE select the first and second of two arguments
We will use them as our selector functions