Computer-Aided Reasoning An Approach を読んでるんだけど、めっちゃ帰納法の仮定をインスタンス化するなって口すっぱく言ってくるな。そんなに間違えやすいんだろうか。