It's a song of ice and mathematics.