Events & Proofs