GoProof cross comment icon

GoProof cross comment icon