first-order phase transition, entropy-energy conflict, staggered phase, Widom-Rowlinson lattice gas, plane-rotor model, ferrofluid, percolation, chessboard estimate, reflection positivity