propagator
not defined yet