Lohman Christmas Proofs