209: Sequences - Inductive Definitions