Ошибка в маленькой функции-Lisp

Формулировка задачи:

Здравствуйте, недавно начала изучать Lisp. При вводе данных в функцию

(DEFUN proverka(X) 
(if  ((SECOND X) EQUAL NIL )   (PRINC "Второй элемент NIL!") )
)

вылазит ошибка Evaluate (SECOND X) and ignore the rest. Поясните, пожалуйста, почему так. Буду очень благодарна

Решение задачи: «Ошибка в маленькой функции-Lisp»

Листинг программы

(defn length-or-more (l n)
    (defn go (l a) cond (null? l) a (> a n) (++ "более чем " n) (go (cdr l) (+ 1 a)))
    (go l 0))
 
(def proverka (x) (print "список из " (length-or-more x 4) "элементов") x)

Объяснение кода листинга программы

Создаётся функция length-or-more, которая принимает два аргумента l и n.
Внутри функции определена вложенная функция go, которая также принимает два аргумента l и a.
Вложенная функция go проверяет условие null? l, если оно истинно, то возвращает значение переменной a.
Если условие null? l ложно, то функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go также проверяет условие > a n, если оно истинно, то возвращает значение переменной a, к которой добавляется строка более чем и значение переменной n.
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Вложенная функция go рекурсивно вызывается с новыми аргументами (cdr l) и (+ 1 a).
Функция length-or-more вызывает функцию go с аргументами l и 0.
Значение переменной x передаётся в функцию print для вывода на экран.
В консоль выводится строка список из и результат работы функции length-or-more с аргументами x и 4.
Значение переменной x возвращается в качестве результата работы функции proverka.