An interesting case is give by local variables that "escape". I.e. f(x):=block([y],y) These cannot be replaced by other symbols. But in this case the side effect is intentional. The case where there are no (intended) side effects is still important I think. Michel >