I wrote (slightly edited)
> An interesting case is give by local variables that "escape". I.e.
>
> f():=block([y],y) (*)
>
>
This is really interesting since
f()
properties(%)
gives the list ["sytem value"]!
I think a better way to express (*) is
f():='y
In that way there is no confusion between symbols and local variables.
(the resulting y still has the property "system value", it is not clear
to me why).
Michel