1: \begin{definition}\label{theanosovs2}

2: %We denote $(W_1,X_1)\sqcup (W_1,-X_1)$ by $(M_2, X_2)$ which obviously is a hyperbolic plug with simple entrance and exit laminations.

3: %Notice that $\Phi_k$ is a strongly transverse gluing map and $(W_2, X_2, \Phi_k)$ is combinatorially transitive. By Theorem \ref{t.transitive}

4: %and Proposition \ref{p.transitive}, we can perturb $\Phi_k$ a little (which we still call $\Phi_k$) such that $W_2 / \Phi_k$  admits a transitive Anosov vector field $Y_k$ on a 3-manifold $W^k$.

5: %\end{definition}

6: