The following thought just struck me. If we change CL to outlaw things like (lambda (x x ...)...), then people who have been writing code like (lambda (ignore x ignore) (declare (ignore ignore))...) may be upset when their code breaks. -- Nick