By about 2020, the speaker judged that Lean knew most of the material taught to undergraduates.

“And it was, it was just about possible, you know, the, the, the thing was learning at the same rate as our students at the time. But, you know, three years later, we could sort of step back and say, "Well, actually, you do basically know most of the things we teach our undergraduates now."”