1: \begin{definition}\label{sec:variant:def}Let $X$ be any $2$-handlebody with $b_2\geq 1$. Fix $n\geq 1$. \smallskip\\

2: $(1)$ In the $b_2(X)=1$ case, put $\widehat{X}^{(n)}_i:=X^{(n)}_i$ $(-1\leq i\leq n)$, where $X^{(n)}_i$ are the manifolds as in Theorem~\ref{sec:algorithm1:main theorem}. \smallskip\\

3: $(2)$ In the $b_2(X)\geq 2$ case, assume that $p_i$'s $(i\geq -1)$ in Definition~\ref{sec:the algorithm: def: p_i} further satisfy the following conditions (v) and (vi). Then put $\widehat{X}^{(n)}_i:=X^{(n)}_i$ $(-1\leq i\leq n)$. \smallskip

4: \begin{itemize}

5: \item  [(v)] $2p_1+(t_0-1)-m_0+\rvert r_0\lvert -m_j> 2(g_j+q_j)-2$, for each $0\leq j\leq k$.\smallskip

6: \item  [(vi)] $2p_i+(t_0-1)-2m_0+\rvert r_0\lvert> 2(g_0+p_{i-1})-2$, for each $i\geq 1$. \smallskip

7: \end{itemize}

8: \end{definition}\