more proof writing