In 1967, Lieb found the exact solution of three two-dimensional ice-type models: the ice model, the Rys F model, and the KDP model. The solution for the ice model gave the exact value of W in two-dimensions as