Figure 7From: Reconciling taxonomy and phylogenetic inference: formalism and algorithms for describing discord and inferring taxonomic roots Illustration of Lemma 1. Back to article page