public override string ToString() { return($"[{closedInterval.GetMin()}, {closedInterval.GetMax()}]"); }