$${\Delta t_1' = t_x -t_1}$$