Map is sorted