>>654 補足
１）テンプレ >>13より
（SCHOLZE氏）
https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf
Why abc is still a conjecture PETER SCHOLZE AND JAKOB STIX
Date: July 16, 2018.
ここの P10 “blurring”
"We voiced these concerns in this form at the end of the fourth day of discussions. On the fifth and final day, Mochizuki tried to explain to us why this is not a problem after all. In particular, he claimed that up to the “blurring” given by certain indeterminacies the diagram does commute; it seems to us that this statement means that the blurring must be by a factor of at least O( 2) rendering the inequality thus obtained useless."

２）用語“blurring”は、＜ケドラヤの発表＞ 動画
https://youtu.be/g0QLL8iYECY?t=2990 >>262
　にもあるし LANA中間報告書全文 >>327
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
P48
10.4. The effect of “blurring”.
にもあるが、
３つの不定性 Ind1, Ind2, and Ind3 と関連している
IUT III https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20III.pdf
ここが まさに Theorem3.11.で

３）私見だが、３つの不定性 Ind1, Ind2, and Ind3 や 用語“blurring”に関連する概念が
　いかにも自然言語であって そこが厳密なLean語に翻訳できない原因かもしれない・・

ともかく、まずは 望月氏たちのグループに頑張ってもらうしかないが
適当なところで、議論をオープンにした方が良いだろう
いまや IUT関連の遠アーベルの国際共同研究が走っているから
（まずは、内輪の遠アーベルのグループ内からとしても）