Title: Mathematical theory of ice formation