モデルを完全否定するエムシラに
様相論理が理解できるわけはない。
もっと手前で躓いているだけだろ。