>>691
いや横槍で間違いだったら申し訳ないけど、多分両方考えるのがIUTなんです。整合性を作る
だからこういう不可思議な事を考える時点で普通なら足踏みするよな、とも以前に書いた記憶がある

スキームを一般化するには色んな考えがありうる。そういう中で望月さんはこの一般化にコミットした