>AUGH, iterator state embedded in the collection!

It looks that way, but it isn't! :D It just finds the next largest, given that key.