Poppy Proofs