Max-heap property

Summary