The claim lacks concrete counterexamples; without specific arguments failing under sort-collapse but...
This proposition has not been edited since the history system was added.