Thanks for that breakdown, that does make it a lot more understandable.

> DO defines our basic loop operation, so iterations will probably all naïvely be O(1);

Shouldn't that be "naïvely be O(n)"?