Checking the frozen demo and its constraints...