(defun reverse1 (l)
(cond ((null l) nil)
(t (append (reverse1 (cdr l)) (list (car l))))))