down operator on Bin via promotion. BSTs, heaps.