Insertions are autobalancing