add proof