@MartinNowak: But `SortedRange` only asserts that the range is sorted, doesn't it?