Okay, if you look at Example 2.19 of _[Seven Sketches](https://forum.azimuthproject.org/discussion/1717/welcome-to-the-applied-category-theory-course)_ you'll see Fong and Spivak deliberately turn around the definition of inequality in the preorder \$$\mathbf{Cost} \$$... just what we need to save the day! I had forgotten to do this!

I'll turn it around in my lecture. Sorry, folks. See, it really is good to work things out starting with the definitions, and see what happens.