Fig. 2
From: Reconciling multiple genes trees via segmental duplications and losses

The Shift-down lemma in action. Here \(t = par^2(s)\), and from \(\alpha \) to \(\alpha '\), we remap v from t to s and save 2 losses—4 losses are saved below v and 2 are added above