proof for sum level | ScratchStats