Peter Scholze

For all I can see, this means that Joshi's proof strategy is irrepairably flawed.