On: Why don't people use formal methods? (2019)

[mattkrause]

I think you'd want to specify that every element in the original list is present in the sorted list (and in the same number, in case of ties).

And of course, that raises the issue of what do you want to do about ties....