 Variants have been proposed as models of certain ferroelectric and antiferroelectric crystals.In 1967, Elliott H. Lieb found the exact solution to a two-dimensional ice model known as "square ice".The exact solution in three dimensions is only known for a special "frozen" state.