Johan Commelin found a simplification as the team carefully worked through Scholze's material.

“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.”