Vaughan Christmas Proofs