Q36,paper 2,j14. Mergesort makes two recursive calls. Which statement is true after these two recursive calls finish, but before the merge step ?

(A) The array elements form a heap.

(B) Elements in each half of the array are sorted amongst themselves.

(C) Elements in the first half of the array are less than or equal to elements in second half of the array.

(D) All of the above

Answer B.