On 03/21/16 12:54, Jacek Caban wrote: > and possibly fixup time would be O(log n ^2) instead of > O(log n) (although I'm pretty sure we could make it O(log n) in > practice). Scratch that, it wouldn't affect fixup time at all. Cheers, Jacek