Proof is a proof view 3