201: Sequences - Inductive Definitions