a green and red tree