Induction for deduction, with...
Induction for deduction, with a view to construction.