Specifically, what is returned by (SETF (VALUES IGNORE X) (VALUES 1 2))? Common Lisp does not define the behaviour of SETF of VALUES. Do you have a question about one of the ccases that IS defined? Pavel