In the proof of the reflection principle in Durrett's textbook (Probability: Theory and Examples (4e), Theorem 8.4.1, page 317), there's a step which I'm a little shaky on. Basically, this proof invokes the strong Markov property so to set this up in Durrett's notation, let $B_s$ denote Brownian motion and define (I think for fixed $t$ here, but correct me if I'm wrong): $$ Y_s(\omega) = \begin{cases} 1, & \textrm{if } s<t,\, \omega(t-s)>a\\ 0, & \textrm{otherwise} \end{cases} $$ Then defining the stopping time $S = \inf\{s<t: B_s=a\}$ (and $\inf \emptyset = \infty$), we get: $$ Y_S(\theta_S \omega) = \begin{cases} 1, & \textrm{if } S<t,\, B_t>a\\ 0, & \textrm{otherwise} \end{cases} $$ where $\theta_S$ is the usual random shift operator for elements of $\mathcal{C}[0,\infty)$. So far, so good. This took a while to wrap my head around but it makes sense. Applying the strong Markov property we get $$ E_0(Y_S \circ \theta_S | \mathcal{F}_S) = E_{B_S} Y_S \textrm{ on } \{S < \infty\}$$ Now taking expectations, Durrett gets: $$ P_0(T_a < t, B_t \geq a) = E_0(Y_S \circ \theta_S; S < \infty) $$ I'm not seeing the right hand side. I'm trying to see how $$ E_0 (E_{B_S} Y_S; S < \infty) = E_0(Y_S \circ \theta_S; S<\infty) $$ but I'm getting confused. Does this somehow involve translation invarance of $B_s$ or is it straight from the definition of $Y_S$ and I'm just missing something obvious?
EDIT: Just putting @saz's solution here to clear up exactly where the strong Markov property is used. Essentially integrating $Y_S(\theta_S \omega)$ on $\{S < \infty\}$ and writing it as: $$E_0(Y_S \circ \theta_S; S < \infty) = E_0(E_0(Y_S \circ \theta_S | \mathcal{F}_S); S < \infty)$$ It becomes obvious where to apply the Markov property.