Some progress on MergeSort