✏️ Editing: propagator.py