If induction is reconstructible as a form of ampliative reasoning with normative inferential rules, ...