A pudding of proofs