cons
nil
Major Section: PROGRAMMING
Completion Axiom (completion-of-cdr):
completion-of-cdr
(equal (cdr x) (cond ((consp x) (cdr x)) (t nil)))
Guard:
(or (consp x) (equal x nil))
cdr