IUT・Ⅳ最終節は、極論すれば「単遠アーベル的復元の論理学」、「“mysterious indeterminate isomorphism”の解明」、
「充満多重同型のトリセツ（取扱説明書）」のようなものだと思う
あくまで個人的な見解だけど、タオがかつて書いていたように「最終節はIUTのABC予想証明とあまり関係ない」と捉えるならば、
SSレポートのように「充満多重同型やラベルの使用は論理的に不必要・無意味」という主張、つまり単遠アーベル的復元は必要ない、
という主張をすんなり受け入れられると思う。それだけIUTの本質的部分が詰まっていると考えている

この辺のことはBもGもよく分かっていると思う、特にBは名前も出てくるし（拝聴している光景が目に浮かぶ）
私はどっちの味方しているのだろうね（笑）。現段階では「従えない」という考えなんだけど・・・
“taste/aesthetics”という語をあえて使えば、私もこういうのはあまり好きではない