The latter is okay because you're sure `y` hasn't ...

# getting-started

[karelpeeters]

The latter is okay because you're sure y hasn't changed, but x could have been changed by some other thread.