We all agree that a defun should be ok inside a let. Why does the language explicitly state that a defmacro evaluated inside a let is ok but must IGNORE the lexical environment? (See the first paragraph on page 145 of CLtL.) -- Dan