add a file for proof checking.