The Pinch Technique at Two Loops

It is shown that the fundamental properties of gauge-independence, gauge-invariance, unitarity, and analyticity of the $S$-matrix lead to the unambiguous generalization of the pinch technique algorithm to two loops.