(defun no-dups (x) (cond ((endp x) nil) ((not (set-memberp (car x) (cdr x))) (cons (car x) (no-dups (cdr x)))) (t (no-dups (cdr x)))))