Proof: Examples and Beyond