1: \begin{proof}

2: %The proof is very similar to that of Lemma~\ref{lem:grow_by_r} so we only sketch the differences. Given that $D[N_{\le k}^-]=H$, for all $w \in [n] \setminus V[H]$, the heads $(L_{w,i},1 \le i \le r)$ of out edges from $w$ are independent and uniformly distributed over $([n] \setminus V(H)) \cup B$.

3: %Repeating the argument of Lemma~\ref{lem:grow_by_r} gives the bound

4: %\[

5: %\Pr(5 \le \sigma_1 \le j,\tau > \sigma_1\mid D[N_{\le k}^-]=H) \le \frac{r^{8j+4}}{12\hat{n}^4}.

6: %\]

7: %{\color{red} Additionally conditioning on $\overline{\ESL}$ makes edges to previously explored vertices less likely and makes avoiding $B$ harder, so the same bound holds for $\Pr^H(5 \le \sigma_1 \le j,\tau > \sigma_1)$; making this rigorous is easy but tedious, so we omit it. }

8: %\end{proof}

9: