Merge sort's sound is actually recursive.