They\'re saying that
(defun user-reverse (l) (if (endp l) nil (append (user-reverse (rest l)) (list (first l))))) <
(defun user-reverse (l) (if (endp l) nil (append (user-reverse (rest l)) (list (first l)))))