Proof about hmg | ScratchStats