1: \begin{proof}[Proof of Lemma~\ref{le:contact_point}(a)]

2:   This is a consequence of the facts that $\rho^-$ cannot jump up to $1$ and $p^+$ cannot jump down

3:   to 0. More rigorously,

4:   let $\delta > 0$ be the constant given from Lemma~\ref{le:rho-ext-order}.  Suppose that

5:   \[

6:   y_0

7:   \notin \cl{\set{p^{+,r}(\cdot, t_0) > 0}}.

8:   \]  Take any sequence $(y_k, t_k) \to (y_0, t_0)$ with

9:   $t_k < t_0$.  By continuity of $X$, for large $k$ we have

10:   $ X(t_0 - t_k, y_k) \notin

11:   \cl{\set{p^{+,r}(\cdot, t_0) > 0}}$ and therefore Lemma~\ref{le:char_r} yields

12:   \[

13:   (y_k, t_k) \notin \cl{\set{p^{+,r} > 0}}.

14:   \]  By Lemma~\ref{le:liminf-interior-dense}(c), we have

15:   \[

16:   \rho^{+,r}_E(y_k, t_k) < 1.

17:   \] Therefore $\rho^{-,r}_E(y_k, t_k) < 1- \delta$ by

18:   Lemma~\ref{le:rho-ext-order}.  In particular, Lemma~\ref{le:weak_mon_r} yields $\rho^{-,r}(y_k,

19:   t_k) \leq \rho^{-,r}_E(y_k, t_k) < 1 - \delta$. Since the sequence is arbitrary, we conclude that

20:   $\rho^{-,r}(y_0, t_0) < 1$ by Lemma~\ref{le:left-accessible}.

21: \end{proof}

22: