Add proof