(defun set-memberp (e l)
  (cond ((not (setp l)) nil)
        ((endp l) nil)
        ((= (car l) e) T)
        (t (set-memberp e (cdr l)))))