In LISP, a CAR is the first S-expression of a non-null list.