Dupuyは合っているかまちがっているかはわからないがきっとモッチーはこう考えているのでは?ということを議論を深めたくて一般的な記法でペーパーとして出したと

でもそれでもまだ論理に飛躍があるところを説明できていないって突っ込まれてるみたいね