$$ \mathbf{0} \in \partial f(\mathbf{x}) + N_C(\mathbf{x}) $$

[For the first 9 years and 354 days I was on this website I posted under the pseudonym "John Madden".]