Update proof summary.md