Add proof draft
Add note on proof