1: \begin{definition}[Second-Order Necessary Conditions (SONC), \cite{yang2014optimality}, Theorem 4.2]\label{def:sonc}

2:     Given an MCP as in (\ref{problem:mcp}), $x^*\in\Omega$ is said to satisfy SONCs if it satisfies KKT conditions with associated Lagrange multiplier $\lambda^*$ and $\gamma^*$, and if 

3:     \[

4:         \langle v, \mathrm{Hess}_x {\cal{L}} (x^*,\lambda^*,\gamma^*) v\rangle \geq 0, \textrm{ for any } v\in F(x^*, \lambda^*, \gamma^*),

5:     \]

6:     where the Hessian is taken with respect to the first variable of $\mathcal{L}$, on $\calM$.

7: \end{definition}

8: