left strictly less than root, right strictly larger than root