 Carol's journey is timed such that she leaves Dave at exactly the same time as Bob arrives.Denote times recorded by Alice's, Bob's and Carol's clocks by formula_22.When Bob passes Alice, they both synchronise their clocks to formula_23.