Commented out something that should be mixed in with red-black trees, or in the context thereof.
Changed lemmas back to a listing instead, references to the book lemmas instead.