a red tree without leaves