ff[x] = [atom[x] -> x; T -> ff[car[x]]]
DEFINE (( (FF (LAMBDA (X) (COND ((ATOM X) X) (T (FF (CAR X)))))) )) ()
(defun ff (x) (cond ((atom x) x) (t (ff (car x)))))