Matthias Felleisen wrote: > You don't need the freshness condition for this language. -- Matthias What kinds of constructs would you need that side condition for? I imagine your set!-as-letrec trick might require it. Dave