finished section on reasoning about the heap