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}$$