Besides the measure on τ τ , τ τ ′ is invariant under spin flipping because d μ μ ( σ σ ) d μ μ ( σ σ ′ ) is. Finally the monomials σ σ A , σ σ B − − σ σ B ′ are polynomials in τ τ , τ τ ′ with positive coefficients