@tao@mathstodon.xyz That's pretty funny. I think there should be one more podium level for Scholze and Clausen (300 page foundational exposition, or some such).