Intervals and Active abstraction