[John wrote](https://forum.azimuthproject.org/discussion/comment/18487/#Comment_18487):
> What Fong and Spivak are doing instead is saying that the ordering on \$$\textbf{Cost} \$$ is the usual \$$\ge \$$ on the set \$$[0,\infty]\$$, not the usual \$$\le \$$.

Oh. _Oh_.