Updated README proof section title.