GoProof pin comment

GoProof pin comment