Midwinter Proofs