 In this case, the partition function formula_8 equals the total number of valid states.This model is known as the ice model (as opposed to an "ice-type" model).Slater argued that KDP could be represented by an ice-type model with energies

For this model (called the KDP model), the most likely state (the least-energy state) has all horizontal arrows pointing in the same direction, and likewise for all vertical arrows.