Consider strategy Shrink for personal termination detection with multiple initiators. Show that at any time, the black nodes form a forest of trees, each rooted in one of the initiators, and the white nodes are singletons.