a,b,V (z) within the generalized cluster expansion). When the correspondence is exact, we can apply results from the standard PDT (Sec. II D) to this first transformation. Also note that the weak z-dependence of the b species means we can redefine the z-coordinate to only depend on a (blackening the b circle).