5.1.7.2
Inductive
(text here)