Proofs in the pudding