1: \begin{definition}\label{P} Any contractible genus one 3-manifold $M$ is called to satisfy \emph{Property $P$} if for any properly embedded plane $\Sigma\subset M$, any $k>0$ and any closed curve $\gamma\subset \partial N_{k}\cap \Sigma$, it holds one of the following:

2: \begin{enumerate}

3: \item $\gamma$ is contractible in $\partial N_{k}$;

4: \item for $l<k$, $D\cap \text{Int}~N_{l}$ has at least $I(N_{l}, N_{k})$ components intersecting $N_{0}$, \end{enumerate}

5: where $D\subset \Sigma$ is a unique disc  with boundary $\gamma$ and $\{N_{k}\}_{k}$ is a sequence  as described in Theorem \ref{genus one}.

6: \end{definition}

7: