Figure 4From: Consensus properties for the deep coalescence problem and their application for scalable tree searchSetup and variable assignments for the proof of Lemma 1. Tree showing the variable assignments in the proof of Lemma 1. Dotted lines represent omitted parts of the tree, and triangles represent subtrees.Back to article page