Comment by thysultan

That is false except for the case that x is a global variable, no outside function can change the value of x, only in-scope procedures can do that.