The balance rule bounds the height by about 1.44 log2(n+2), so every operation is O(log n) even for sorted input. It repairs imbalance after each insert or delete with rotations.