1: \begin{definition} Fix a finite field $\F$ and a constant integer $\ell\in \N$ and let $\eps(\ell)=\Theta(1/4^{\ell})$. Let $n\eqdef m^{(\ell)}_\F$, $z^{(\ell)}_{\F, 0}\le n\cdot\polylogell n$ denote the length of the proof for the $\PCUSS$ from Theorem~\ref{thm:PCUSS-construction}, and let $N=(\log^{(\ell)}n+1)\cdot z^{(\ell)}_{\F, 0}$. Let $\calQ^{(\ell)}\subseteq \zo^N$ be defined as follows. A string $x\in\zo^N$ satisfies $\calQ^{(\ell)}$ if the following hold.

2: 	\begin{enumerate}

3: 		\item The first $ z^{(\ell)}_{\F, 0}\cdot\log^{(\ell)}n$ bits of $x$ consist of $s= \frac{z^{(\ell)}_{\F, 0}\cdot\log^{(\ell)}n}{ n}$ copies of $y\in \calE_{\F,0}^{(\ell)}$.

4: 		\item The remaining $z^{(\ell)}_{\F, 0}$ bits of $x$ consist of a proof string $\pi\in \zo^{z^{(\ell)}_{\F, 0}}$, for which the\\ \texttt{Verifier-Procedure}$_{\;\calE_{\F,0}^{(\ell)}}$ in Figure~\ref{fig:VerifierProcedureIterated} accepts $y$ given oracle access to $y$ and $\pi$.

5: 	\end{enumerate}

6: \end{definition}

7: