Interval_propagation loading ...