The underlying theory we use here comes from arxiv.org/abs/2406.11814, which studied the problem of symmetrisation using *Markov categories*. Markov categories allow for reasoning about probability in a conceptual, diagrammatic way, while also maintaining full mathematical rigour.
