Re: [pro] What was wrong with environments as in CLTL2 pp. 207-214?