GoProof Add Comment

GoProof Add Comment