existentials in merge sort