(define (cdr z)
  (z (lambda (p q) q)))