Proof analysis

Proof analysis