Not sure about "heap property"? "a is reorganized as a heap" maybe ?