The EM procedure repeats the following until convergence: E-step: Given θ, compute the posterior marginal probabilities c xy of all possible phylogeny edges.
our distribution over sequences of entities e is exchangeable.