proofproof view 3