Oops, you are correct and I was mistaken. std::sort does not need to determine the total order in order to sort. I would amend my top-level comment but I don't

Oops, you are correct and I was mistaken. std::sort does not need to determine the total order in order to sort. I would amend my top-level comment but I don't seem able to.