Talk:Interval propagation