Intro text for red-black bst's and properties of these.