Bugfix
Working begin_provyfile2