Update proof section.