Interval algebra.