\newcommand{\neigh}[1]{\mathcal{N}(#1)}
\newcommand{\defeq}{\equiv}
\newcommand{\reals}{\mathbf{R}}
\DeclareMathOperator*{\argmax}{argmax}
\newtheorem{proposition}{Proposition}
\newtheorem{lemma}{Lemma}