Hl theorem | ScratchStats