 SLE4 left-passage probability

For chordal ${\mathrm{SLE}}_4$ in $(\mathbb{H},0,\infty )$,Indeed, $\arg (g_t(z)-U_t)$ is a bounded martingale whose terminal value is zero or $\pi$ according to the side on which the trace passes.