(module Interval)