higher bound i up
root node a ___