higher bound i up
root node i in ___