mergesort spec added