Added scripts for proving