Title: Phase transitions of hard-core bosons