1: \begin{definition}

2: Let $F=(f_1,\ldots,f_m)$ be quadratic polynomials in $\FX$ and $(1-\gamma)n \leq n$.

3: The system $F$ is called {\bf $\gamma$-strong semi-regular} if both the set of its solutions and the set 

4: $$

5: \left \{(a_{n-k+1},\ldots,a_n) \in \mathds{F}_2^k \, 

6: \vert  \,

7: \dwit\big(F(x_1,\ldots,x_{n-k},a_{n-k+1},\ldots,a_n)\big)  >\dwit(m,n,k) \right \}

8: $$

9: have cardinality at most $2^{(1- \gamma +2 F_{\alpha}(\gamma) + \epsilon)}$, with $\epsilon >0$ and $F_{\alpha}$ as in  Theorem \ref{bs:cplx}.

10: \end{definition}

11: