I read
about execution dependency chain, below
For example,
if synchronization A is, W happens before X,
if synchronization B is, X happens before Y,
if synchronization C is, Y happens before Z
the document above says
W is garranteed to happen before Z
but X may happen after Y or not
Is this correct?