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