Simplify using the rules from the previous sections:

\begin{equation*} \exists a \exists b ((O(a) \vee O(b)) \wedge \neg O(a+b))\text{.} \end{equation*}