  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.
