( append '(d) '(a) )
(cons 'd (append '() '(a)) )
(define (append x z)
(cond ((null? x) z)
(else (cons (car x) (append (cdr x) z))) ))