(defun reverse (L) (cond
  ((null L) nil)
  (T (cons (reverse (cdr L)) (car L)))
))