So did Scholze and Stix actually learn anything from their foray into Inter-Universal Teichmuller Theory? Or does it look like the whole thing is just 100% slop, like heterodox economics