Major Section: PROGRAMMING
(alistp x) is true if and only if x is a list of cons pairs.
(alistp x)
x
cons
(alistp x) has a guard of t.
t