Input (grade 13): Transfinite induction, a kind of mathematical induction
Output (grade 10): - induction, a kind of transfinite induction