Got the subsorted and supersorted properties simplifying properly.
Merged.