“…This construction appears in [6]. Note that, for every n ∈ N and x, y ∈ X, C n h 1 ,...,hn ((x, y), ·), constructed as in (11), is the n-th marginal of C ∞ h 1 ,h 2 ... ((x, y), ·). Additionally, {C n h 1 ,...,hn ((x, y), ·) : x, y ∈ X} fulfills the role of coupling for…”