add proof in view mode