Solution (source code)

= Solution

The law satisfies the <chordal restriction property> when, for every $A\in\mathcal Q_\pm$, conditional on $\gamma\cap A=\varnothing$, the mapped curve $\psi_A(\gamma)$ has the same unparameterized law as $\gamma$ in $(\mathbb H,0,\infty)$.