higher bound i up
root node less ___