Interesting work! I haven’t ever even thought about the issues laid out here in such detail. At first I was scratching my head, but the strength of a sorting

Interesting work! I haven’t ever even thought about the issues laid out here in such detail. At first I was scratching my head, but the strength of a sorting guarantee actually might matter a lot more than I first thought. Assuming that something is sorted can have quite substantial effects on code. It’s a very strong assumption in a sense.