Definition of "propagator"