proof is a bit buggy | ScratchStats