[compiler-guy]

It might be more precisely stated something like "The language's semantics require that when a variable changes value, that change includes the side-effect of printing the new value."