The Need for Constructive Induction