To be fair, I think all his arguments work, but on the opposite monoidal preorder.

$$
(2[\textrm{egg}] \leq [\textrm{egg}]) \Leftrightarrow ([\textrm{egg}] \leq 2[\textrm{egg}])^\textrm{op}
$$