Ex-2.54

(define (equal? o1 o2)
  (cond
   ((and (pair? o1) (pair? o2))
    (and (eq? (car o1) (car o2))
         (equal? (cdr o1) (cdr o2))))
   ((or (pair? o1) (pair? o2)) #f)
   (else (eq? o1 o2))))