(def pair? (l) (and (acons l) (acons:cdr l) (no:acons:cddr l))) (def alist? (l) (and (acons l) (all pair? l)))