updating proof