How Invariants Guarantee Height Bounds - Height-Balanced Trees — Concept & Invariants | OneNoughtOne