To pass to the two-particle irreducible (2PI) effective action, one performs a Legendre transform of W [ J ] to a new binary source field. One chooses an, at this point arbitrary, convex G i j as the source and obtains the 2PI functional, also known as Baym–Kadanoff functional: