Yeah, Eily, I understand your point.

I am not quite sure, though, whether the sentence the variable is implicitly local to the loop and regains its former value upon exiting the loop is to be construed as meaning that it works as if the loop variable is localized with the local keyword.