The algorithm always keeps the tree height-balanced, no matter what.