Proofgoal view 1