Added my proof comments.