Inductive Discipline