a red tree with no leaves