Spacetimes with an asymptotically stationary future and past possess a distinguished Feynman propagator, a central ingredient of the evaluation of scattering amplitudes. I will describe its construction, including a discussion of various relevant tools from functional analysis.