Proof for froge | ScratchStats