Inductive Discipline Techniques