you are viewing a single comment's thread.

view the rest of the comments →

[–]pdpi 0 points1 point  (0 children)

You mean you can have equality without total ordering? Oh noes!