- new (hopefully better) version of the "initially all nodes are congruent leading...