Partition function zeros, Lee-Yang theorem, Pirogov-Sinai theory, 
contour models.