Would be useful to enforce coverage of the Red-Black tree using the connection to 2-3 trees to show the asymptotic runtime bound.