Describes the evolution from:
(cdr (assq key a-list))
(let ((val (assq key a-list))) (cond ((not (null? val)) (cdr val)) (else nil)))
Describes the evolution from:
to: