Proof is a proof view 1