Prove that such a collected distributed snapshot will be consistent iff the following holds (assume there are n processes in the system and Vti denotes the vector timestamp of the snapshot taken process pi): (Vt1[1], Vt2[2], Vtn[n]) = max(Vt1, Vt2, ..., Vtn).