only mergeAll is left
termination of sortBy
termination of sortBy
sortBy does terminate