1: \begin{definition}[Our pseudoexpectation]

2:     We'll define our pseudoexpectation $\pE[\cdot]$ on all polynomials of \emph{\multilineardegree} at most~${\price \cdot \CONSMALL}$; in particular, this defines it for all polynomials of (usual) degree at most~${\price \cdot \CONSMALL}$.  We define it by imposing that $\pE[M(\x)] = \E_{\cl(\vblsp(M))}[M(\bx)]$ for all monomials $M(\x)$ having $\degmlin(M) \leq \price \cdot \CONSMALL$.  (Here we are using the abbreviation $\E_C[M(\bx)]$ for $\E_{\bx \sim \eta_C}[q(\bx)]$.)  By Theorem~\ref{thm:closures-are-small}, this makes sense in that $\cl(\vbls(M))$ will always be \smallish.  Note that we have $\pE[1] = \E_{\cl(\emptyset)}[1] = 1$, as required.

3: \end{definition}

4: