[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_.

My head hurts now.