Consider strategy Shrink for personal termination detection with multiple initiators. Prove that if C is terminated at time t, then there is a t

 ≥ t such that all nodes are white at time t

.