Merge sort makes two recursive calls. Which statement is true after these recursive calls finish, but before the merge step?

(A) Elements in the first half of the array are less than or equal to elements in the second half of the array
(B) The array elements form a heap
(C) Elements in the second half of the array are less than or equal to elements in the first half of the array
(D) None of the above