Update propagator.md