Der Aufruf (single? l) ergibt genau dann einen Wert ungleich nil, wenn die Liste l genau ein Element hat.

Das Prädikat single? beruht auf and, null? und rest:

(setq single?
  (lambda (l)
    (and l (null? (rest l)))))