RB-insert works