Nonexistence and Uniqueness for Pure States of Ferroelectric Six-Vertex Models - Amol Aggarwal (2020)