(define (equal? a b)
  (cond ((eq? a b) #t)
	((not (and (pair? a) (pair? b))) #f)
	(else (and (equal? (car a) (car b))
	       	   (equal? (cdr a) (cdr b))))))