Title: Proof Analysis