Candidates for natural-induction

No candidates exist for natural-induction. Upload one for this or another package?