Skip to main content
. 2022 Jun 21;84(8):76. doi: 10.1007/s11538-022-01037-z

Fig. 9.

Fig. 9

Illustration of the proof of Lemma 8 for the case t(u)>t(q). a When u is a tree node, the head of the reticulation arc (pr) is moved up. b When u is a reticulation at the top, an LCA y of u and q is a parent of u with t(y)=t(u), leading to a contradiction to the assumption t(u)>t(q)