1: \begin{definition}

2: \label{sievedef}

3: Define $\mathcal{M}_p\subset \widetilde{X}^{(2)}(\F_p)$ to be the set of points  $\mathcal{R}\in \iota_p^{-1}(\mathrm{Im}(\phi_p))$ satisfying one of the following:

4: \begin{itemize}

5:     \item[(i)] $\mathcal{R}\notin \mathrm{red}(\mathcal{L'})$,

6:     \item[(ii)] $\mathcal{R}=\widetilde{\mathcal{Q}}$ for some $\mathcal{Q}\in \mathcal{L'}$ \emph{not} satisfying the conditions of Theorem \ref{theorem1} or

7:     \item[(iii)] there is a degree 2 map $X\to C$ and $\mathcal{R}=\widetilde{\mathcal{Q}}$ for some $\mathcal{Q}\in \mathcal{L'}\cap \rho^*C(\Q)$ \emph{not} satisfying the conditions of Theorem \ref{theorem2}.

8: \end{itemize}

9: \end{definition}

10: