proof for sonar | ScratchStats