add a slide on proofs