I wish we could bring this conversation back down to earth. All I want to know is what one-line change to make to the draft ANSI Common Lisp spec where it says what a conforming program can assume about the behavior of objects of the built-in types.