1 (define (cons x y)
2   (lambda (m) (m x y)))
3 (define (car z)
4   (z (lambda (p q) p)))
5 
6 (car (cons x y))
7 ((lambda (m) (m x y)) (lambda (p q) p))
8 ((lambda (p q) p) x y)
9 x
10 ;; Check to see that (car (cons x y)) = x
11 
12 (define (cdr z)
13   (z (lambda (p q) q)))
14 (cdr (cons x y))
15 ((lambda (m) (m x y)) (lambda (p q) q))
16 ((lambda (p q) q) x y)
17