BM法とかって果たして論理から出てくるものかな・・・?