Hardcore model: Difference between revisions