A Formal Introduction | ScratchStats