Interval operator |(Interval other) { if (this == other) { return this; } else { return this.join(other); } }