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.