The team began carefully reading Scholze's material and may have been the first group to read it in depth rather than skim it.

“And at, at the time, we imagined it would be about a year's worth of work. But then we started reading. We had to start reading the material, and we had to start reading it pro-- We, we were really the first people to be reading it, possibly.”

“Uh, the first people not to skim through it. And, uh, we started going through it with a fine-tooth comb, and we found a simplification. Johan Commelin, in particular, found a simplification.”