(defun mimember (x l) 
                  (cond (NULL x) NIL)  
                       (equal (x l) (cons (first l) (mimember(rest l)
                       (T (mimember (x rest l)))
)
)
)
)