property of sorting melded heaps