Подскажите пожалуйста по Lisp

Определить предикат, проверяющий, является ли аргумент одноуровневым списком.

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

CL-USER> (flat '(a a))
T
CL-USER> (flat '(a (a)))
NIL

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

Код на языке Lisp выполняет следующие действия:

flat '(a a) - Функция flat принимает список '(a a)', вызов функции завершается успешно и возвращает T.
flat '(a (a))) - Функция flat принимает список '(a (a))', вызов функции завершается успешно и возвращает NIL.