表示的意味論には環境というものがあって普通に副作用を扱えるという
ことが分かってない人がいるような気がする。