Prove, by way of a counterexample, that the sequential timestampsystemT3, starting in a valid state (with no cycles among the labels), does not work for three threads in the concurrent case. Note that...

Prove, by way of a counterexample, that the sequential timestampsystemT3, starting in a valid state (with no cycles among the labels), does not work for three threads in the concurrent case. Note that it is not a problem to have two identical labels since one can break such ties using thread IDs. The counter example should display a state of the execution where three labels are not totally ordered.