Although I agree with Touretzky's reasoning about not having duplicate names in the same lexical environment (I might as well add: except when covered by the shadowing rules), I thought the problem with LET* was the ambiguity regarding declarations, which is why LET* isn't the same as a bunch of nested LETs. ---Walter ------