Proof analysis