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

 ≥ t such that all nodes are white at time t

.