>>243
Kimがmathoverflowで頓珍漢な解説したのが原因っぽい。
あれでIUTTに対する誤解が広まったようだ。