start on reporting my proof corrections