Do I understand then correctly that the:

      temp = Do_Remote_Read(Y)
      if (temp > 0)
         X = 42

Is actually

      temp = Do_Remote_Read(Y_i)
      if (temp > 0)
         X = 42

where Y_i is the value of Y in the version i that matches the version for which the coordinator created the code?

Otherwise Y can be something else? And isn't then there a need for a synchronization with the keeper of Y, if Y_i is still not available?