To avoid confusion with the values of Timer, we express this timeline in terms of Suppose there is a cycle x2 when the checker first writes (v1 ,t1) to address a..