自動的にでてくるはずの帰結なんだけどあまり流通してないのはなぜだろうね。