Fig. 10.
(Color figure online) Proof of Lemma 3.3: the sequence of tail moves used to simulate head move (d) in Case 3iii. All reticulations on the path to the nearest tree node above it move with it to the other side
Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.