Make the definition of red black tree clearer