genericism proof | ScratchStats