“…Furthermore, there exists a vertex v in the geodesic t g shadowed by g for which v ∈ base(ρ), and hence satisfying Y ⊆ S \ v. Definition 2. 19. Given a constant K M (S), where M (S) is the constant from Lemma 2.18, and a pair of markings μ, ν, the subsurfaces Y ⊆ S, for which dist C(Y ) (μ, ν) > K, are called the K-large domains for the pair (μ, ν).…”