Proofgoal view 3