The complete first-order contraction and its domain

Thus the first-order calculation contains the complete two-insertion vacuum sum. There is no omitted tadpole, disconnected graph, action insertion, or scalar-sourced gravitational slot in this model.

Products of positive-frequency two-point distributions and the Wick-square construction belong to the usual microlocal Wick framework BF,HW2001. The next lemma checks the subsequent retarded operation rather than assuming it.