1: \begin{definition}

2: Given $\alpha \subset \Sigma$ a simple closed geodesic and $K>0$ we say that $T_\alpha$ is a $(\alpha,K)$-tube if it is a surface given by Theorem C for the curve $\alpha$ and the constant $K$.

3: \end{definition}

4: