State
Selected A: ∅
Two more undecided elements are formed when one bad element is formed.
The number of good elements and undecided elements is never less than the number of bad elements.
The final shaded regions are disjoint and are in 1-1 correspondence with the ancestral good nodes.