Point Proof Analysis