>>40
Actually one benefit of using data-abstraction in this case is that if the data isn't ordered the performance is much worse, and it's not clear from the list that this is necessary. So it would make sense to define abstract data with the accesses `largest' and `not-largest' to make this idea explicit, and communicate better.