proofs | ScratchStats