Interface BoundedPropagator