gradient model, phase coexistence, roughening, reflection positivity, chessboard estimates, spin-wave free energy