Grothendieck accused Deligne of "slop" with his proof of the weil conjecture.

Scholze's math is definitely not slop.

But you're taking two of the best mathematicians of the last century against my claim about averages