If LOCAL had a slightly less onerous syntax (the current syntax meets one need superbly, but at the cost of some syntactic pain for people writing a fresh LOCAL expression from scratch), would you object to it supplanting LETREC? S.