$ \newcommand{\exi}{\exists} \newcommand{\all}{\forall} \newcommand{\equ}{\!=\!} \newcommand{\amp}{\;\&\;} $