Add details about expected O(1) running time.