The proof for @pxddinq- | ScratchStats