Základom je schéma počítanie na ľubovolnej úrovni.
(defun sucet (sv) (cond ((NUMBERP sv) sv) ((ATOM sv) 0) (T (+ (sucet (first sv)) (sucet (rest sv)))) ) ) ; Príklad: (sucet '(1 ((2) 3))) ; -> 6