1: \begin{definition}[Second-Order Sufficient Conditions (SOSC), \cite{yang2014optimality}, Theorem 4.3] \label{def:sosc}

2:     Given an MCP as in (\ref{problem:mcp}), $x^*\in\Omega$ is said to satisfy SOSCs 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 > 0, \textrm{ for any } v\in F(x^*, \lambda^*, \gamma^*),\ v\neq 0.

5:     \]

6: \end{definition}

7: