Proof for scemer | ScratchStats