“…Pr(σ + = (τ, g, x)|σ − = (g , x , τ )) = Pr(τ |g, x, τ )δ x,x Pr(g|g , x , x, τ ) = φ g,x (τ + τ ) Pr(g|g , x)δ x,x , where we obtain p(g|g , x) from standard methods [12,26] applied to (only) the dynamic on G. Note that p(g|g , x , x, τ ) reduces to p(g|g , x ) as g and x uniquely specify the distribution from which τ is drawn and since x = x . We leave the the final steps to E as an exercise.…”