mathlib | ScratchStats