このDupuyのコメントは謂わば信仰みたいなもんだよ
UTのゴミのような記述（IUTジャーゴン）から何か引き出せないかという彼自身の期待にすぎない

ショルツが反論すれば（間違いなくするだろうが）、論破されて終わり
S・Sレポートがなぜ敢えて充満多重同型やラベルを排し、IUTの中核そのものを無視して
短くまとめたかについての意図をDupuyは全く分かっていない
この辺のことはDaniel Littなどはちゃんと理解している