Brian Hulley wrote: > Interval llow lhigh + Interval rlow rhigh = Interval (min llow > rlow) (max lhigh rhigh) Not a good start!!! ;-) Interval llow lhigh + Interval rlow rhigh = Interval (llow+rlow) (lhigh+rhigh)