The rigorous Dobrushin-Shlosman phase uniqueness criterion is reviewed, then applied to the hard square model to prove that only a single phase exists tactivity z = 1.185.