GoProof cross comment box

GoProof cross comment box