only checking read ts, since "The read timestamp tsr (y) is guaranteed to be greater than the write timestamp tsw(y)"