Add proof script