Abstract
Lieb's integral expression for the partition function of the Slater-KDP (potassium dihydrogen phosphate) model is evaluated in closed form. The "inverse" model, in which the ordering of the vertex energies is reversed, is solved exactly.