> Do we say this anywhere yet? (Only if you know off the top of your > head.) We mention in several places that internal definitions are treated like letrec*, and the description of letrec* makes the rest pretty clear. Kent