Galvin's container-lemma conjecture for hard-core models
Galvin's conjecture. Such a container lemma should hold down to