Implement propagator