GoProof cross comment

GoProof cross comment