>>395 補足

Dupuy先生は、前者で
IUTが成立するとして、それを平易に言い換えるとうんぬん というPDFでしょ