iut論文はnot even wrongで
誰でも一意に解釈できるようには書かれてない

s-sが主張したのはzfcの枠内で「彼らなりに」解釈すると
3.12を出せるほど強くないということ

同時に
別の解釈が成立したとしてどの可換図式が成り立つのか？
というchallengeを提案してる

だからs-sの解釈は誤解だって主張をするには
「ではiutを成立させる正しい解釈は何ですか？」に
答えられなければならない

woitのブログでもdupuyが
s-sの解釈は誤解で望月はそんなこと言ってない
ってscholze相手に食い下がってたが
scholzeの
では望月は何と言ってるんですか？
という肝心の問いに答えられなかった