GoProof box comment

GoProof box comment