(module Interval.Stable)