proof: | ScratchStats