GoProof tick comment

GoProof tick comment