1: \begin{definition}[$\delta_0$ and $\delta_1$]\label{def:plaques}
2: By the Plaque family theorem (see~\cite[Theorem 5.5]{HirPugShu:77} or~\cite{AbdBonCro:11}) there exist
3: some $\delta_0$ and a continuous family of $C^1$ stable (unstable) disks centered at points $x\in\Lambda$
4: of radius $\delta_0$ which is locally invariant. Moreover, by choosing $\delta_0$ small
5: enough, one can ensure that these disks are tangent to the cone field $\cone^E$ ($\cone^F$).
6: By shrinking if necessary the size of the plaques one may assume
7: that every stable plaque is transverse to any unstable
8: plaque at any point of intersection.
9:
10: For the following we will fix such families and denote them by
11: $\{D^E_x\}_{x\in\Lambda}$ and $\{D^F_x\}_{x\in\Lambda}$.
12:
13: Given $N\ge1$ and $\varepsilon>0$, let $\delta_1=\delta_1(N,\varepsilon)\in(0,\delta_0)$ be so small so that for any $x\in \Lambda$, for every $y\in{D^E_x}$ satisfying $d(y,x)<\delta_1$ for every $v\in T_y{D^E_x}$ and $w\in T_y{D^F_x}$ we have
14: \[%begin{equation}\label{eq:delta1}
15: \lVert df^N_y(v)\rVert
16: \le e^{N\varepsilon} \lVert df^N_{/E_x}\rVert\,\lVert v\rVert,
17: \quad
18: \lVert df^N_y(w)\rVert
19: \le e^{N\varepsilon} \lVert (df^N_{/F_x})^{-1}\rVert\,\lVert w\rVert\,.
20: \]%end{equation}
21: \end{definition}
22: