Addressed contributions and concerns in heap.tex