The system is called ferromagnetic if, for any list of sites A, J A ≥ 0. The system is called invariant under spin flipping if, for any j in Λ, the measure μ is preserved under the sign flipping map σ → τ, where