そうすると推論が成り立たないケースも出てきそう