(cdr-induct x) is classic list induction, i.e., cdr until you reach the end of the list.
Function: cdr-induct
(defun cdr-induct (x) (if (atom x) nil (cdr-induct (cdr x))))