added more proof stuff