; testing a function on p182 of Cooke
(defun as ( x y )
   (cond
    ((null x)            x             )
    ((equal (caar x) y)  (cadar x)     )
    (T                   (as (cdr x) y))
   )
)
(setq m '((1 one) (2 two) (3 three)))