RE: Predicate for true lists

[Drew Adams]

> (null (cdr (last xs))), which is
> (and list  (nthcdr (1- (safe-length xs)) xs))).

Forgot to mention that by the manual's definition of "true list",
and by this code for it, a circular list _is_ a true list.  Dunno
whether that was the intention of the OP's "true list".

(null (cdr (last #1='(2 3 #1#)))) = t