In 4.2.2 "Binding constructs" you need to add the word ALL as follows: "...in a letrec expression, ALL the bindings are in effect while their initial values are being computed..." Otherwise it could mean that each binding is in effect while its own initial value is being computed. Julie