Weight rightmax() const { return right_->maxValue(); }
Weight leftmax() const { return left_->maxValue(); }