Icy Proofs