SolutionSets sort, among other things.