Hardy Christmas Proofs