Use new structural-induction package