The Isabelle trend | ScratchStats