Cherry Proofs