more proof writing...