1: \begin{definition} \label{defn:nice} 

2: Let $p_{i}$ and $\mathcal{P}_{i}$ be as above for $i \in {\mathcal I}'\setminus {\mathcal I}$.

3: Let $\eta_i$ be the parabolic primitive element fixing $p_i$. 

4: We say that an image $\gamma(\mathcal{R})$, $\gamma \in \Gamma$, of the fundamental domain $\mathcal{R}$

5: meets {\em nicely} with $\eta(\mathcal{P}_{i})$, $\eta \in \Gamma$, if 

6: \[\eta(\mathcal{P}_{i}) \cap \gamma(\mathcal{R}) = \bigcup_{t\in [t_{1}, t_{2}]} D_{f_i, r_i, t} \hbox{ for some } t_{1}, t_{2}\in \bR, t_{1}< t_{2} \]

7: using the  notation of Theorem \ref{thm:Sr}, and

8: \begin{align} \label{eqn-etap} 

9: \clo(\zeta_{\eta(p_{i})}) & \subset \clo(\gamma(\mathcal{R})), 

10: \hbox{ and }\\

11: \eta(\mathcal{P}_{i}) & \subset  \Paren{\bigcup_{k \in \bZ} 

12:  \gamma \eta_{i}^{k}\left(\bigcup_{j=1}^{k_{0}}\kappa_{j}(\mathcal{R} )\right)}^{o}

13: \end{align} 

14: for a finite collection of $\{\kappa_{j} \in \Gamma\}$ 

15: where $\clo(\zeta_{\eta(p_{i})}) \subset \clo(\gamma(\kappa_{j}(\mathcal{R})))$. %satisfies \eqref{eqn-etap}.  

16: %and 

17: %\begin{itemize}

18: %\item 

19: %$\eta(\clo(\mathcal{P}_{i})) \cap \gamma(\clo(\mathcal{R}))) \cap \Ss_{+}$ is a region in

20: %the cusp neighborhood $\eta(\clo(\mathcal{P}_{i})) \cap \Ss_{+}$ bounded by two geodesics ending at 

21: %its parabolic fixed point $\eta(p_{i})$ 

22: %where $\eta_{i}$ is the generator of the parabolic subgroup of $\Gamma$ fixing $p_{i}$.

23: %\item Let $\eta'(R_{i})$ be the parabolic region whose boundary points in $\Ss_{+}$ form $\eta(\mathcal{P}_{i})$

24: %for some $\eta' \in \Gamma$. Then 

25: %\begin{equation}\label{eqn:tSi}

26: %\eta'(R_{i}) = \bigcup_{j \in \bZ} \zeta_{i}^{j}(R_{i} \cap \mathcal{R})

27: %\end{equation} 

28: %for the generator $\zeta$ of the parabolic group fixing $\eta(p_{i})$.  

29: %\end{itemize} 

30: % (See Figure \ref{fig:niceInt}.)

31: \end{definition}

32: