transition\](i), there is $i^*$ such that $|q^{ac}_{h^*}, p^{ac}_{i^*}|_S \leq K$. It follows that $|p^{ab}_i, p^{ac}_{i^*}|_S \leq 3K+6K+K=10K$ and hence $|i-i^*| \leq 8K+10K=18K$. Therefore $|p^{ab}_i, p^{ac}_i|_S
\leq 10K+18K$.

Now consider the case, where $p^{ab}_i$ is an $(\epsilon,
R)$-deep vertex of $p^{ab}$ in the peripheral left coset $w$. Then $p^{ab}_i$ lies in an $(\epsilon, R)$-segment $p^{ab}[j,k]$ of $p^{ab}$ in $w$. Thus $\max\{|p^{ab}_j, w|_S,
|p^{ab}_k,w|_S\} \leq \epsilon \leq K.$ By Proposition \[cor:segments\](ii) and Step \[step:first\], there is a vertex $q^{ab}_m$ such that $|p^{ab}_j,
q^{ab}_m|_S\leq 3K$. As in the previous case, we obtain $j^*$ such that $|p^{ab}_j, p^{ac}_{j^*}|_S \leq 10K$. Analogously, there is $k^*$ such that $|p^{ab}_k, p^{ac}_{k^*}|_S \leq 10K$. In particular, we have $\max\left\{|p^{ac}_{j^*},w|_S,
|p^{ac}_{k^*},w|_S \right\}\leq 11K$. By quasiconvexity of $w$, Lemma \[lem:quasiconvexity\], every vertex of $p^{ac}[j^*,k^*]$ is at $S$-distance $\leq 11K^2$ from $w$. Moreover, we have $|j-j^*|\leq 8K+10K$, and analogously, $|k-k^*|\leq 18K$. Hence $i$ is at distance $\leq 18K$ from the interval $[j^*,k^*]$. (Note that we might have $j^*>k^*$, but that does not change the reasoning.) It follows that $|w,p^{ac}_i|_S \
transition\](i), there is $ i^*$ such that $ |q^{ac}_{h^ * }, p^{ac}_{i^*}|_S \leq K$. It follows that $ |p^{ab}_i, p^{ac}_{i^*}|_S \leq 3K+6K+K=10K$ and hence $ |i - i^*| \leq 8K+10K=18K$. Therefore $ |p^{ab}_i, p^{ac}_i|_S 
 \leq 10K+18K$. 

 nowadays think the case, where $ p^{ab}_i$ is an $ (\epsilon, 
 R)$-deep vertex of $ p^{ab}$ in the peripheral left coset $ w$. Then $ p^{ab}_i$ lies in an $ (\epsilon, R)$-segment $ p^{ab}[j, k]$ of $ p^{ab}$ in $ w$. therefore $ \max\{|p^{ab}_j, w|_S, 
 |p^{ab}_k, w|_S\ } \leq \epsilon \leq K.$ By Proposition   \[cor: segments\](ii) and Step   \[step: first\ ], there is a vertex $ q^{ab}_m$ such that $ |p^{ab}_j, 
 q^{ab}_m|_S\leq 3K$. As in the previous case, we receive $ j^*$ such that $ |p^{ab}_j, p^{ac}_{j^*}|_S \leq 10K$. Analogously, there is $ k^*$ such that $ |p^{ab}_k, p^{ac}_{k^*}|_S \leq 10K$. In particular, we suffer $ \max\left\{|p^{ac}_{j^*},w|_S, 
 |p^{ac}_{k^*},w|_S \right\}\leq 11K$. By quasiconvexity of $ w$, Lemma   \[lem: quasiconvexity\ ], every vertex of $ p^{ac}[j^*,k^*]$ is at $ S$-distance $ \leq 11K^2 $ from $ w$. Moreover, we have $ |j - j^*|\leq 8K+10K$, and analogously, $ |k - k^*|\leq 18K$. therefore $ i$ is at distance $ \leq 18K$ from the interval $ [ j^*,k^*]$. (Note that we might have $ j^*>k^*$, but that does not change the reasoning .) It follow that $ |w, p^{ac}_i|_S \
trajsition\](i), there is $i^*$ such that $|q^{ac}_{h^*}, p^{ac}_{i^*}|_S \leq K$. It fomlows thxt $|p^{ab}_i, p^{ac}_{i^*}|_S \leq 3K+6K+K=10K$ and hxnce $|i-i^*| \ltz 8K+10K=18K$. Therefore $|p^{ac}_i, p^{ac}_i|_S
\lvq 10K+18K$.

Now xonsmder the case, whxde $p^{ab}_i$ is an $(\cpsilmi,
R)$-deep vertex on $p^{ab}$ in tha peripheral lafg eoset $w$. Then $p^{ab}_i$ lies in an $(\epsilon, R)$-segmemt $p^{ab}[j,k]$ of $p^{ab}$ yn $w$. Ehus $\max\{|p^{ab}_j, w|_S,
|p^{ab}_k,w|_S\} \leq \epsilon \leq I.$ By Prmposition \[cor:srgments\](ii) and Step \[step:firsh\], thfre is a vertex $q^{ah}_m$ such thaj $|p^{af}_h,
q^{ab}_m|_S\leq 3K$. Xs in the krzvious case, we obtain $j^*$ such that $|p^{ab}_j, p^{ac}_{g^*}|_S \lea 10K$. Analogiuwly, jhere is $k^*$ snch thwt $|p^{ab}_k, p^{ac}_{k^*}|_S \leq 10K$. Hn partocular, we have $\mae\lefr\{|p^{ac}_{j^*},w|_S,
|p^{ac}_{k^*},w|_S \right\}\lex 11K$. By quasiconvexyty of $w$, Nejma \[lem:quasiconvexutt\], evety vestex if $o^{ac}[n^*,k^*]$ ia at $S$-fisvance $\leq 11K^2$ from $w$. Morwover, we have $|j-j^*|\leq 8K+10H$, and analogoualy, $|k-k^*|\jez 18K$. Hence $i$ is at distance $\leq 18K$ from tve jnterval $[j^*,k^*]$. (Note that ww might have $j^*>k^*$, but tjat does got change the reasoning.) It follows that $|w,p^{ac}_i|_S \
transition\](i), there is $i^*$ such that $|q^{ac}_{h^*}, K$. follows that p^{ac}_{i^*}|_S \leq 3K+6K+K=10K$ Therefore p^{ac}_i|_S \leq 10K+18K$. consider the case, $p^{ab}_i$ is an $(\epsilon, R)$-deep vertex $p^{ab}$ in the peripheral left coset $w$. Then $p^{ab}_i$ lies in an $(\epsilon, $p^{ab}[j,k]$ of $p^{ab}$ in $w$. Thus $\max\{|p^{ab}_j, w|_S, |p^{ab}_k,w|_S\} \leq \epsilon \leq K.$ Proposition and \[step:first\], is a vertex $q^{ab}_m$ such that $|p^{ab}_j, q^{ab}_m|_S\leq 3K$. As in the previous case, we obtain such that $|p^{ab}_j, p^{ac}_{j^*}|_S \leq 10K$. Analogously, there $k^*$ such that $|p^{ab}_k, \leq 10K$. In particular, we $\max\left\{|p^{ac}_{j^*},w|_S, \right\}\leq 11K$. quasiconvexity $w$, \[lem:quasiconvexity\], every vertex $p^{ac}[j^*,k^*]$ is at $S$-distance $\leq 11K^2$ from $w$. Moreover, we have $|j-j^*|\leq 8K+10K$, and analogously, $|k-k^*|\leq 18K$. $i$ is $\leq 18K$ the $[j^*,k^*]$. that we might but that does not change the that $|w,p^{ac}_i|_S \
transition\](i), there is $i^*$ such thAt $|q^{ac}_{h^*}, p^{ac}_{i^*}|_s \leq K$. it fOllOwS thaT $|p^{ab}_I, p^{ac}_{i^*}|_S \leq 3K+6K+K=10K$ aND henCe $|i-i^*| \leq 8K+10K=18K$. Therefore $|p^{ab}_I, p^{ac}_i|_s
\lEQ 10K+18K$.

NOW cOnsidEr the caSE, wHERe $p^{Ab}_I$ iS an $(\EpSIlOn,
R)$-deEp vErtex of $P^{ab}$ in the peRipHeRal left coset $W$. thEn $p^{ab}_i$ lies In aN $(\epsilon, R)$-segMenT $p^{ab}[j,k]$ Of $P^{ab}$ IN $w$. ThuS $\maX\{|p^{ab}_j, W|_S,
|p^{ab}_k,W|_s\} \leq \epSilon \leq K.$ by pRoposiTIon \[cor:sEGMeNts\](iI) and Step \[step:first\], THeRE is a vertex $q^{ab}_m$ Such thAt $|P^{Ab}_J,
Q^{Ab}_m|_s\leQ 3K$. As in the pReVious CAse, we obTAiN $J^*$ SUch THat $|p^{ab}_j, p^{ac}_{j^*}|_S \lEq 10K$. AnalogouSLy, tHere is $K^*$ sUch THat $|p^{ab}_K, p^{ac}_{k^*}|_s \lEQ 10K$. IN particular, We haVe $\max\left\{|P^{ac}_{j^*},w|_S,
|P^{Ac}_{k^*},w|_S \riGHt\}\leq 11K$. BY quasiConVexIty oF $W$, LEmMa \[lEm:QUasICoNveXIty\], Every verTeX oF $p^{ac}[j^*,K^*]$ is aT $s$-DIStanCe $\lEq 11K^2$ fRom $w$. MOreover, we have $|J-j^*|\lEq 8K+10K$, ANd aNalogOusly, $|K-k^*|\leQ 18K$. hence $I$ is at dIstanCe $\Leq 18K$ from the inteRval $[J^*,k^*]$. (Note thaT we MiGht HaVe $j^*>k^*$, bUT that dOes Not Change tHe reasoNIng.) it FOLLoWs that $|w,p^{ac}_i|_S \
transition\](i), there is$i^*$ such  that  $| q^{ ac }_{h ^*},  p^{ac}_{i^*}| _ S \l eq K$. It follows that  $|p^ {a b }_i, p^ {ac}_ {i^*}|_ S  \ l e q 3 K+ 6K +K= 10 K $and h enc e $|i-i ^*| \leq 8 K+1 0K =18K$. There f or e $|p^{ab} _i,  p^{ac}_i|_S 
\l eq 10K +1 8K$ . 

Now  co nside r thec ase, w here $p^{ ab } _i$ is an $(\e p s il on,R)$-deep vertex o f  $ p ^{ab}$ in theperiph er a ll e ftcos et $w$. Th en  $p^{ a b}_i$ l i es i n  an $(\epsilon, R )$-segment$ p^{ ab}[j, k] $ o f  $p^{a b}$ i n$ w$.  Thus $\max \{|p ^{ab}_j,w|_S,| p^{ab}_ k ,w|_S\}  \leq\ep sil on \ l eq  K .$By Pro p os iti o n \ [cor:seg me nt s\](i i) a n d S tep\[s tep: first \], there isa v erte x  $q ^{ab} _m$ s uchth at $| p^{ab} _j,
q ^{ ab}_m|_S\leq 3K $. A s in thepre vi ous  c ase,w e obta in$j^ *$ such  that $ | p^{ ab } _ j ,p^{ac}_{j^*}|_S \l eq 1 0K $. Analo gously ,  t he r e is $k^ *$  su ch t h a t $|p ^{ab } _k , p^{ac} _{k^*} | _S  \ leq 10K $.  In pa rt icu lar , weh ave$\max\ left\{|p ^{ac} _ {j^*},w|_S,
|p ^ {ac}_{k^*},w| _ S\ r ig h t\}\ leq  11K$. By q uasi c onve xity of  $w $ , Lem ma \[ le m :q u asiconvexity\], eve ry  verte x of$p^{ac}[j^*,k ^*]$ is at $ S $-distan ce $ \ le q  11K^2$ from $ w$. M oreover, w e  have $| j-j^* |\leq 8K +10K$, an d analogou sly , $ |k- k^* | \ le q 18K$. Hence $ i$ i sat dist anc e $\leq  18 K$fro m t he  interval  $[j^*,k ^* ]$ .(N ote  that we might  h ave  $ j^* >k^*$ ,  but t hat d oesno tc han ge ther ea s o ning .)  I t fo llo ws  that  $|w , p^{ ac}_i|_ S \
transition\](i), there_is $i^*$_such that $|q^{ac}_{h^*}, p^{ac}_{i^*}|_S_\leq K$._It_follows that_$|p^{ab}_i,_p^{ac}_{i^*}|_S \leq 3K+6K+K=10K$_and hence $|i-i^*|_\leq 8K+10K=18K$. Therefore $|p^{ab}_i,_p^{ac}_i|_S
\leq 10K+18K$.

Now consider_the_case, where $p^{ab}_i$ is an $(\epsilon,
R)$-deep vertex of $p^{ab}$ in the peripheral left coset_$w$._Then $p^{ab}_i$_lies_in_an $(\epsilon, R)$-segment $p^{ab}[j,k]$ of_$p^{ab}$ in $w$. Thus $\max\{|p^{ab}_j,_w|_S,
|p^{ab}_k,w|_S\} \leq_\epsilon \leq K.$ By Proposition \[cor:segments\](ii) and Step \[step:first\], there_is_a vertex $q^{ab}_m$_such that $|p^{ab}_j,
q^{ab}_m|_S\leq 3K$. As in the previous case,_we obtain $j^*$ such that $|p^{ab}_j,_p^{ac}_{j^*}|_S \leq 10K$._Analogously,_there_is $k^*$ such that_$|p^{ab}_k, p^{ac}_{k^*}|_S \leq 10K$. In particular,_we have $\max\left\{|p^{ac}_{j^*},w|_S,
|p^{ac}_{k^*},w|_S \right\}\leq 11K$. By_quasiconvexity of $w$, Lemma \[lem:quasiconvexity\], every vertex of_$p^{ac}[j^*,k^*]$ is at $S$-distance $\leq 11K^2$_from $w$. Moreover, we have_$|j-j^*|\leq 8K+10K$,_and analogously, $|k-k^*|\leq 18K$. Hence_$i$ is at_distance $\leq_18K$ from the_interval $[j^*,k^*]$. (Note that we might_have $j^*>k^*$, but_that does not change the reasoning.)_It_follows that $|w,p^{ac}_i|_S_\