Proof is a proof view 2