Only Text Quote

Induction for deduction, with a view to construction.