Comment by jballanc

I can't help but feel like there's a fairly simple heap invariant hiding in the solution here...