Forever comparing, never evaluating on any external scale. If you were a sort function, you'd never break the nlogn barrier.