Proof writing

Proof writing