docs: function(node) {
        if (node === undefined)
          return undefined;
  
        node.maxHighLeft = this.updateHighValues_(node.leftNode);
        node.maxHighRight = this.updateHighValues_(node.rightNode);
  
        return max(max(node.maxHighLeft, node.highValue), node.maxHighRight);
      }