Let T be a virtual time, that is, it satisfies both local events ordering and send/receive ordering. Prove that for any two events a and

b, if a → b then T

(a) < T(b). (Hint: by induction on the length of any sequence of events.)