Proofgoal view 2